version 0.6.7
[nit.git] / benchmarks / .gitignore
2014-03-03 Jean Privatbenchs: provide .gitignore to ignore generated files