Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
ChangeLog
Find file
Blame
History
Permalink
* src/tgbatest/ltl2tgba.cc (main): Delete the accepting run
· 487c4ac4
Alexandre Duret-Lutz
authored
Dec 01, 2010
even if it hasn't been printed.
487c4ac4
To find the state of this project's repository at the time of any of these versions, check out
the tags
.