diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-04-27 16:10:35 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-27 16:10:35 +0100 |
| commit | 088b5d8694c31f8ac8276afc4fdcfd76ceb69843 (patch) | |
| tree | d8e2c4fce0a9df64800146b0dbfec44b8cec7d65 | |
| parent | a4b13bacf79e8474513abae57a3ad66d6c1a2139 (diff) | |
| parent | 3ba5c373716bfebec81ad7215dd3cb59064dc7cc (diff) | |
| download | verismith-088b5d8694c31f8ac8276afc4fdcfd76ceb69843.tar.gz verismith-088b5d8694c31f8ac8276afc4fdcfd76ceb69843.zip | |
Merge branch 'RCoeurjoly-master'
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,5 +12,5 @@ result failed/ output*/ .ghc*/ -dist-*/ +dist*/ .direnv/ |