diff options
| author | tv <tv@shackspace.de> | 2014-11-18 16:10:09 +0100 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2014-11-18 16:10:09 +0100 |
| commit | 64ec0daf8937202092e887c80bc86f2e6e54fe7f (patch) | |
| tree | 18609c5e01d209338ecd22459b73e9cf67e0ec88 | |
| parent | 179d8980e55578e3553bad0b237368d74e074f15 (diff) | |
Add .ghci
| -rw-r--r-- | .ghci | 1 | ||||
| -rw-r--r-- | .gitignore | 2 |
2 files changed, 3 insertions, 0 deletions
@@ -0,0 +1 @@ +:set -Wall -fobject-code @@ -1,2 +1,4 @@ /.graveyard /state +*.hi +*.o |