diff options
| author | Daniel Gröber <dxld@darkboxed.org> | 2018-10-13 23:36:08 +0200 |
|---|---|---|
| committer | Daniel Gröber <dxld@darkboxed.org> | 2018-10-26 04:33:07 +0200 |
| commit | aee8bd2da76f932eb7df244008bfed5949dadbc4 (patch) | |
| tree | b7d44c9a736896a2b610b6b41d36022fc9ef7f83 /.projectile | |
| parent | f071b83fd84ebfdaa3444b202afd38061016a9df (diff) | |
.gitignore
Diffstat (limited to '.projectile')
| -rw-r--r-- | .projectile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.projectile b/.projectile index a6163de..738794d 100644 --- a/.projectile +++ b/.projectile @@ -1,2 +1,2 @@ --/dist-newstyle/ --/dist/
\ No newline at end of file +-dist* +-/.ghc.environment.*
\ No newline at end of file |