diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2022-05-10 17:21:50 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2022-05-10 17:21:50 +0200 |
| commit | 2cb06be136dfb345807fd8a6c6bf79d5d78e48e0 (patch) | |
| tree | 28391fd82f529c3e3b4120d4ae55b25eb9212802 /.gitignore | |
| parent | 88062ee0e7c7b23e01e7f5e5b5667d99f2fbca94 (diff) | |
Compile with GHC proper without cabal
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1 +1,5 @@ dist-newstyle/ +*.hi +*.o +*.dyn_hi +*.dyn_o |