aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Expand)Author
2017-02-01Added deb/.vagrant to gitignoreJohn MacFarlane
2016-10-25Added INSTALL.md, incorporating INSTALL + installing page from website.John MacFarlane
2016-07-20Rename README to MANUAL.txtAlbert Krewinkel
2016-01-05Add .stack-work to gitignoreChristian Conkle
2015-03-28Remove pre-built reference filesNikolay Yakimov
2014-04-30gitignore: Ignore cabal's sandbox filesAlbert Krewinkel
2013-08-16Added *~ and *.pyc to .gitignore.John MacFarlane
2013-03-15Add to Git ignores temporary files generate in Windows build.Fyodor Sheremetyev
2011-10-23Revert "Added built man pages to repository."John MacFarlane
2011-10-23Added built man pages to repository.John MacFarlane
2011-09-02update gitignoreAntoine Latter
2010-07-19Update .gitignore.Ilya V. Portnov
2008-08-09Include shell scripts themselves in repo, rather than generating from wrappers.fiddlosopher
2008-07-10Updated .gitignore to exclude README.Debian.fiddlosopher
2008-03-19Added .gitignore.fiddlosopher