Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
ajax
ltl2tgba.html
Find file
Blame
History
Permalink
ltl2tgba.html: Update tooltips with Tomáš Babiak's comments.
· c4c42a37
Alexandre Duret-Lutz
authored
Jun 04, 2012
* wrap/python/ajax/ltl2tgba.html: Update tooltips for LTL3BA.
c4c42a37