-
Alexandre Duret-Lutz authored
* bench/Makefile.am (SUBDIRS): Add ltl2tgba. * README: Mention bench/ltl2tgba.
7ef117e3
To learn more about this project, read the wiki.
* bench/Makefile.am (SUBDIRS): Add ltl2tgba. * README: Mention bench/ltl2tgba.