-
Florent D'Halluin authored
Append a suffix (".1", ".2", ...) to the name of the generated files. * src/bench/common/bench_macros.hh: Update BENCH_VCSN_SAVE_AND_PRINT.
3566699f
To find the state of this project's repository at the time of any of these versions, check out the tags.