-
Alexandre Duret-Lutz authored
* bench/ltl2tgba/Makefile.am, bench/ltl2tgba/defs.in: Update location of tools. * NEWS: Mention the fix.
fd5d5998
* bench/ltl2tgba/Makefile.am, bench/ltl2tgba/defs.in: Update location of tools. * NEWS: Mention the fix.