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

!includes/*.xml