Delete gerrit/zoekt.

The source-code is hosted on https://github.com/sourcegraph/zoekt Change-Id: Icb6e8dd6d9479fe8f78b6868e90f28e508bd2e2b
google · Jan 15, 2024 · 62cfd87 · 62cfd87
1 parent f8e8ada
commit 62cfd87
Show file tree

Hide file tree

Showing 95 changed files with 0 additions and 20,244 deletions.
diff --git a/.gitignore b/.gitignore
diff --git a/CONTRIBUTING b/CONTRIBUTING
diff --git a/LICENSE b/LICENSE
diff --git a/README.md b/README.md
@@ -1,8 +1,3 @@
-
-    "Zoekt, en gij zult spinazie eten" - Jan Eertink
-
-    ("seek, and ye shall eat spinach" - My primary school teacher)
-
 This is a fast text search engine, intended for use with source
 code. (Pronunciation: roughly as you would pronounce "zooked" in English)
 

diff --git a/all.bash b/all.bash