summaryrefslogtreecommitdiff
path: root/doc/manual/.gitignore
blob: f0b379c9800c66962f115c0f3b8e49a21631b65d (plain)
1
2
3
4
5
manual.html
manual.pdf
version.xml
devhelp/
html/