diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-27 16:09:53 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-27 16:09:53 +0100 |
commit | 3ba5c373716bfebec81ad7215dd3cb59064dc7cc (patch) | |
tree | d8e2c4fce0a9df64800146b0dbfec44b8cec7d65 | |
parent | 93006b5ddaeb8af1e47f6a09141434b1b6e6103a (diff) | |
download | verismith-3ba5c373716bfebec81ad7215dd3cb59064dc7cc.tar.gz verismith-3ba5c373716bfebec81ad7215dd3cb59064dc7cc.zip |
Ignore all dist folders
-rw-r--r-- | .gitignore | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -12,6 +12,5 @@ result failed/ output*/ .ghc*/ -dist-*/ +dist*/ .direnv/ -dist/ |