diff options
| author | tv <tv@shackspace.de> | 2014-12-28 22:22:43 +0100 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2014-12-28 22:26:36 +0100 |
| commit | b553a8fb2513fac00363dcaeb44ceeea9be3636c (patch) | |
| tree | e376616b627a09b12ab90b7f41e992340c2da494 /.gitignore | |
| parent | b1aa17616f56517fa83607296c25ee6c333968c1 (diff) | |
cabalize & nixify
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,3 +1,4 @@ *.hi *.o .graveyard +/dist |