1 files changed, 0 insertions, 11 deletions
diff --git a/run.sh b/run.sh
deleted file mode 100755
index 032c07d..0000000
--- a/run.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#! /bin/bash
-
-DIR=`dirname "$0"`
-sbcl <<EOF
-  (require :asdf)
-  (pushnew "$DIR/" asdf:*central-registry*)
-  (require :logikorr)
-  (in-package logikorr-ht)
-  (start-logikorr)
-EOF
-