-
Alexandre Duret-Lutz authored
* src/tgbatest/ltl2tgba.cc: Fix mismatch between the help text, documenting -rL, and the handling code, expecting -rs.
babc0240
To find the state of this project's repository at the time of any of these versions, check out the tags.