-
Alexandre Duret-Lutz authored
* bench/ltl2tgba/Makefile.am, bench/ltl2tgba/defs.in: Update location of tools. * NEWS: Mention the fix.
fd5d5998
To find the state of this project's repository at the time of any of these versions, check out the tags.