summaryrefslogtreecommitdiff
path: root/docs/src/.gitignore
blob: 579a210485a87b3fb8f33f58376de3faf068f550 (plain)
1
2
3
4
*.tex
*.xml
!docs.xml
!terms.xml