Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bench
Makefile.am
Find file
Blame
History
Permalink
* bench/ltl2tgba/README: More instructions.
· 7ef117e3
Alexandre Duret-Lutz
authored
Apr 19, 2005
* bench/Makefile.am (SUBDIRS): Add ltl2tgba. * README: Mention bench/ltl2tgba.
7ef117e3