diff options
| author | Steven <steven.vasilogianis@gmail.com> | 2019-05-29 20:06:05 -0400 |
|---|---|---|
| committer | Steven <steven.vasilogianis@gmail.com> | 2019-05-29 20:06:05 -0400 |
| commit | cbe440bb0adbfbccfdbbcedb29bf9408c0596866 (patch) | |
| tree | 5b040044f331d82845fc0b68386d8d285dad1949 /.stack-work/intero/intero-script265874pa | |
Initial repository; needs clean up but it's working so let's not lose it
Diffstat (limited to '.stack-work/intero/intero-script265874pa')
| -rw-r--r-- | .stack-work/intero/intero-script265874pa | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.stack-work/intero/intero-script265874pa b/.stack-work/intero/intero-script265874pa new file mode 100644 index 0000000..56fbd62 --- /dev/null +++ b/.stack-work/intero/intero-script265874pa | |||
| @@ -0,0 +1,4 @@ | |||
| 1 | :set prompt "" | ||
| 2 | :set -fbyte-code | ||
| 3 | :set -fdiagnostics-color=never | ||
| 4 | :set prompt "\4 " | ||