summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
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