Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
ajax
ltl2tgba.html
Find file
Blame
History
Permalink
Apply Jan's comments on ltl3ba's interface.
· b0193e14
Alexandre Duret-Lutz
authored
Jun 14, 2012
* wrap/python/ajax/ltl2tgba.html: Adjust text.
b0193e14