Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
ajax
spot.in
Find file
Blame
History
Permalink
ltl2tgba on-line: display edge and transition count
· c5461335
Alexandre Duret-Lutz
authored
Jan 15, 2013
* wrap/python/ajax/spot.in: Adjust display. * NEWS: Mention it.
c5461335