-
Alexandre Duret-Lutz authored* src/bin/ltlcross.cc (print_stats_csv): Revert the recent addition of \r, it is caussing too many issues. * NEWS: Mention it.
6c210895
* src/bin/ltlcross.cc (print_stats_csv): Revert the recent addition of \r, it is caussing too many issues. * NEWS: Mention it.