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