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 /.gitignore | |
| parent | 179d8980e55578e3553bad0b237368d74e074f15 (diff) | |
Add .ghci
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1,2 +1,4 @@ /.graveyard /state +*.hi +*.o |