-
Alexandre Duret-Lutz authored
Fix issue #380. * bin/common_finput.cc: Erase a trailing \r. * tests/core/ltl2tgba2.test: Test it. * NEWS: Mention the fix.
e340e61f
To find the state of this project's repository at the time of any of these versions, check out the tags.