Skip to content

Provide redirect endpoints for JetBrains-based editors#1318

Merged
vzhukovs merged 1 commit intomainfrom jetbrains-endpointsJun 23, 2022

Commits

Commits on Jun 23, 2022