4674285Added deb/.vagrant to gitignoreJohn MacFarlane10 years ago bb20f91Added INSTALL.md, incorporating INSTALL + installing page from website.John MacFarlane10 years ago a396003Rename README to MANUAL.txtAlbert Krewinkel10 years ago 45f5fc9Add .stack-work to gitignoreChristian Conkle11 years ago f10a8a3Remove pre-built reference filesNikolay Yakimov12 years ago a22b3a2gitignore: Ignore cabal's sandbox filesAlbert Krewinkel12 years ago cc91b1dAdded *~ and *.pyc to .gitignore.John MacFarlane13 years ago 388ce09Add to Git ignores temporary files generate in Windows build.Fyodor Sheremetyev14 years ago 8c588a9Revert "Added built man pages to repository."John MacFarlane15 years ago eac1fc3Added built man pages to repository.John MacFarlane15 years ago 192bf60update gitignoreAntoine Latter15 years ago 88281faUpdate .gitignore.Ilya V. Portnov17 years ago 2ba5ff9Include shell scripts themselves in repo, rather than generating from wrappers.fiddlosopher18 years ago e0d229dUpdated .gitignore to exclude README.Debian.fiddlosopher18 years ago 71f1240Added .gitignore.fiddlosopher19 years ago