Remove script from root directory

runtimeverification · Apr 3, 2023 · 4d1bb49 · 4d1bb49
1 parent 62b42c4
commit 4d1bb49
Showing 1 changed file with 0 additions and 23 deletions.
diff --git a/searchAndDestroy.sh b/searchAndDestroy.sh