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