on develop help sign in
Ignore `/shell.nix` and `/ghci-tmp`.
commit72f8a68fd94286eaf5244733574125a3225e26c2 authorErtugrul Söylemez <esz@posteo.de> dateMon 18 Jul 2016, 23:13 (10 years ago) parentc4c780b
1 file changed+2
.gitignore+2
.gitignore+2
@@ -29,3 +29,5 @@ tags
2929hsenv.log
3030\#*#
3131.#*
32+/shell.nix
33+/ghci-tmp