summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2018-12-08Update doc/index pageJohn J. Camilleri
2018-11-28Merge branch 'master' into new-websiteJohn J. Camilleri
2018-11-27Remove faq. Update people page. Add SS to news.John J. Camilleri
2018-11-15Remove `src/ui` folder, moved to:John J. Camilleri
2018-11-08Add download/index.md as demo of working Markdown rendering to HTMLJohn J. Camilleri
2018-11-03Add stack file, using image for GHC 8.2.2John 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