We don't need the .gitignore any longer, as no compiled files are left in the src...
[mkws-moved-to-github.git] / doc / .gitignore
2014-03-25 Mike TaylorMore generated files (.pdf, .odt) to ignore.
2014-03-25 Mike TaylorNew doc/.gitignore, omits generated HTML files.