chore: Delete old Dockerfile and build scripts (#62922)

We can build everything using Bazel, so these aren't used anywhere
sourcegraph · May 27, 2024 · 56f2f92 · 56f2f92
1 parent 57824e6
commit 56f2f92
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 163 deletions.
diff --git a/cmd/symbols/Dockerfile b/cmd/symbols/Dockerfile
diff --git a/cmd/symbols/build-ctags.sh b/cmd/symbols/build-ctags.sh
diff --git a/cmd/symbols/build.sh b/cmd/symbols/build.sh