sepcomp: fix potential tagging issue in `is_same_type_test`
[nit.git] / benchmarks / strings / .gitignore
2015-04-03 Jean Privatbenches/strings: add .gitignore and `make clean`