-
Alexandre Duret-Lutz authored
* bench/Makefile.am (SUBDIRS): Add ltl2tgba. * README: Mention bench/ltl2tgba.
7ef117e3
To find the state of this project's repository at the time of any of these versions, check out the tags.
* bench/Makefile.am (SUBDIRS): Add ltl2tgba. * README: Mention bench/ltl2tgba.