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