summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2018-11-27Remove faq. Update people page. Add SS to news.John J. Camilleri
2018-11-08Add download/index.md as demo of working Markdown rendering to HTMLJohn J. Camilleri
2018-07-25[GF Split] Post-split updatesJohn J. Camilleri
2017-11-27Add cabal sandbox files to .gitignoreJohn J. Camilleri
2017-08-21Merge remote-tracking branch 'remotes/upstream/master'Ayberk Tosun
2017-08-21added .gitignoreKrasimir Angelov
2017-08-21Add *.gfo to gitignoreAyberk Tosun