From 5a4aea0062e4e3a8b316f00d434a83b0a3f46aca Mon Sep 17 00:00:00 2001 From: Sarah Vaupel Date: Wed, 12 Oct 2022 09:43:42 +0200 Subject: [PATCH] chore: fix executables --- build.sh | 0 cbt.sh | 0 clean.sh | 0 db.sh | 0 ghci.sh | 0 hlint.sh | 0 hoogle.sh | 0 is-clean.sh | 0 load.sh | 0 missing-translations.sh | 0 run.sh | 1 - start.sh | 0 test.sh | 0 translate.hs | 0 14 files changed, 1 deletion(-) mode change 100644 => 100755 build.sh mode change 100644 => 100755 cbt.sh mode change 100644 => 100755 clean.sh mode change 100644 => 100755 db.sh mode change 100644 => 100755 ghci.sh mode change 100644 => 100755 hlint.sh mode change 100644 => 100755 hoogle.sh mode change 100644 => 100755 is-clean.sh mode change 100644 => 100755 load.sh mode change 100644 => 100755 missing-translations.sh delete mode 120000 run.sh mode change 100644 => 100755 start.sh mode change 100644 => 100755 test.sh mode change 100644 => 100755 translate.hs diff --git a/build.sh b/build.sh old mode 100644 new mode 100755 diff --git a/cbt.sh b/cbt.sh old mode 100644 new mode 100755 diff --git a/clean.sh b/clean.sh old mode 100644 new mode 100755 diff --git a/db.sh b/db.sh old mode 100644 new mode 100755 diff --git a/ghci.sh b/ghci.sh old mode 100644 new mode 100755 diff --git a/hlint.sh b/hlint.sh old mode 100644 new mode 100755 diff --git a/hoogle.sh b/hoogle.sh old mode 100644 new mode 100755 diff --git a/is-clean.sh b/is-clean.sh old mode 100644 new mode 100755 diff --git a/load.sh b/load.sh old mode 100644 new mode 100755 diff --git a/missing-translations.sh b/missing-translations.sh old mode 100644 new mode 100755 diff --git a/run.sh b/run.sh deleted file mode 120000 index ebcc7e664..000000000 --- a/run.sh +++ /dev/null @@ -1 +0,0 @@ -start.sh \ No newline at end of file diff --git a/start.sh b/start.sh old mode 100644 new mode 100755 diff --git a/test.sh b/test.sh old mode 100644 new mode 100755 diff --git a/translate.hs b/translate.hs old mode 100644 new mode 100755