.gitignore - 2013-07-13-he0-gbp - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/.gitignore

blob: a9d727c0ff29b661c4ce89839cf9573bafd63207 (plain)

*.vrb
*.snm
*.aux
*.toc
*.out
*.nav
*.log
*~