diff options
| author | Steven <steven.vasilogianis@gmail.com> | 2019-06-03 00:08:13 -0400 |
|---|---|---|
| committer | Steven <steven.vasilogianis@gmail.com> | 2019-06-03 00:08:13 -0400 |
| commit | d525371ba284eb78da9d7de075c593ed3a2fca4b (patch) | |
| tree | 7b0229419e4c39c730212abe3a1da77d2bfce49c /.stack-work/intero/intero-script265874pa | |
| parent | a5cb206cca2bd0838f0370a85a1615b6f8761254 (diff) | |
| parent | 04f5e6626202e97de12d7f26986cc68e7fdde902 (diff) | |
Merge branch 'master' of emmy.childrenofmay.org:public_git/8queens
Diffstat (limited to '.stack-work/intero/intero-script265874pa')
| -rw-r--r-- | .stack-work/intero/intero-script265874pa | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.stack-work/intero/intero-script265874pa b/.stack-work/intero/intero-script265874pa deleted file mode 100644 index 56fbd62..0000000 --- a/.stack-work/intero/intero-script265874pa +++ /dev/null | |||
| @@ -1,4 +0,0 @@ | |||
| 1 | :set prompt "" | ||
| 2 | :set -fbyte-code | ||
| 3 | :set -fdiagnostics-color=never | ||
| 4 | :set prompt "\4 " | ||