.gitignore: mention ignored files
[cavatools.git] / traceinfo / .gitignore
1 traceinfo