JetBrains: remove plugin

The plugin codebase has been moved to the sourcegraph/jetbrains repository. We keep the web assets for Code Search features inside this repository.
olafurpg · Oct 17, 2023 · 45e9c20 · 45e9c20
1 parent 19f6f29
commit 45e9c20
Show file tree

Hide file tree

Showing 347 changed files with 20 additions and 20,345 deletions.
diff --git a/.github/workflows/jetbrains-tests.yml b/.github/workflows/jetbrains-tests.yml
diff --git a/client/jetbrains/CONTRIBUTING.md b/client/jetbrains/CONTRIBUTING.md