summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2020-02-14Update .gitignoreDavid Johnson
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
2019-02-04Ignore cabal buildsBen Sima
2019-01-28Ignore result.Nick
2019-01-21InitBen Sima