summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2021-06-11Add output files for test suite in gitignoreInari Listenmaa
2020-11-17Remove RGL and HTML from Debian buildJohn J. Camilleri
2020-08-05Add cabal dist-newtyle to gitignoreAndreas Källberg
2019-08-28Update Stack files after testing with Stack v2John J. Camilleri
2018-12-09Replace gf-refman.html with Markdown version gf-refman.mdJohn J. Camilleri
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 04:50:09 +0000