-
Alexandre Duret-Lutz authored
* bench/wdba/defs.in, bench/ltlclasses/defs.in, bench/ltlcounter/defs.in: Delete. * bench/wdba/run, bench/ltlclasses/run, bench/ltlcounter/run: Adjust not to use them. * configure.ac: Do not output the associated defs files.
16c7bc19