diff options
author | Andrew Cady <d@jerkface.net> | 2019-05-30 13:06:39 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2019-05-30 13:06:39 -0400 |
commit | ba07f3549313ad470fe2de9e0cac72556afb8046 (patch) | |
tree | 63a78262cf25e7a96da331b4c1ca4573deabdc76 /.stack-work/intero/intero-script250346te | |
parent | 311b24e79ae8e3ab770405f4c2fa5c27f9e19d40 (diff) |
ignore .stack-work
Diffstat (limited to '.stack-work/intero/intero-script250346te')
-rw-r--r-- | .stack-work/intero/intero-script250346te | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/.stack-work/intero/intero-script250346te b/.stack-work/intero/intero-script250346te deleted file mode 100644 index 56fbd62..0000000 --- a/.stack-work/intero/intero-script250346te +++ /dev/null | |||
@@ -1,4 +0,0 @@ | |||
1 | :set prompt "" | ||
2 | :set -fbyte-code | ||
3 | :set -fdiagnostics-color=never | ||
4 | :set prompt "\4 " | ||