summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2019-11-02move default local keep to _keepBen Sima
2019-10-27move everything to namespace directoriesBen Sima
2019-05-12add duree-pitch.orgBen Sima
2019-03-23Ignore tags fileBen Sima
2019-03-02Better deploy scriptBen Sima
2019-02-23Get rid of cabalBen Sima
Using just nix and ghc, ah it's so nice.
2019-02-04Ignore cabal buildsBen Sima
2019-01-28Ignore result.Nick
2019-01-21InitBen Sima