summaryrefslogtreecommitdiff
path: root/.gitignore
blob: 7a48510b75bf71bf64e2e787fd08d30712357eaa (plain)
1
2
3
4
5
6
7
8
*.xml
*.gz
*.tex
index.ttl
pubs/index.txt
pubs/*.pdf

!includes/*.xml