summaryrefslogtreecommitdiffhomepage
path: root/doc/.gitignore
AgeCommit message (Collapse)Author
2008-08-31.ignore files for the compilation productsjao
2008-03-21Manual generation scripts updated and ignoring doc/manualJose Antonio Ortega Ruiz
2008-03-15More ignored files.Jose Antonio Ortega Ruiz
2008-03-15Ignore files generated by autogen.shJose Antonio Ortega Ruiz