summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2020-07-26dev: move _{bild,keep,skey} to _/{bild,keep,skey}Ben Sima
2020-07-25bild: support incremental compilationBen Sima
2020-06-27hero: implement the basics of user loginsBen Sima
2020-04-04Try to get tags working reliablyBen Sima
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