tentative cleanup of really old/dirty patches required a long time ago
[build.git] / .gitignore
1 *.norm
2 infra.key
3 infra.png
4 TAGS