diff options
Diffstat (limited to '.stack-work/intero/intero-script7513nYK')
-rw-r--r-- | .stack-work/intero/intero-script7513nYK | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.stack-work/intero/intero-script7513nYK b/.stack-work/intero/intero-script7513nYK new file mode 100644 index 0000000..56fbd62 --- /dev/null +++ b/.stack-work/intero/intero-script7513nYK | |||
@@ -0,0 +1,4 @@ | |||
1 | :set prompt "" | ||
2 | :set -fbyte-code | ||
3 | :set -fdiagnostics-color=never | ||
4 | :set prompt "\4 " | ||