chore: fix executables

2022-10-12 09:43:42 +02:00 · 2022-10-12 09:43:42 +02:00 · 5a4aea0062
commit 5a4aea0062
parent 582b075466
14 changed files with 0 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
--- a/cbt.sh
+++ b/cbt.sh
--- a/clean.sh
+++ b/clean.sh
--- a/db.sh
+++ b/db.sh
--- a/ghci.sh
+++ b/ghci.sh
--- a/hlint.sh
+++ b/hlint.sh
--- a/hoogle.sh
+++ b/hoogle.sh
--- a/is-clean.sh
+++ b/is-clean.sh
--- a/load.sh
+++ b/load.sh
--- a/missing-translations.sh
+++ b/missing-translations.sh
--- a/run.sh
+++ b/run.sh
@ -1 +0,0 @@
-start.sh
--- a/start.sh
+++ b/start.sh
--- a/test.sh
+++ b/test.sh
--- a/translate.hs
+++ b/translate.hs