Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
cgi
ltl2tgba.in
Find file
Blame
History
Permalink
* wrap/python/cgi/ltl2tgba.in: Remove the "print dot" options,
· 0a1fc73e
Alexandre Duret-Lutz
authored
Feb 20, 2004
add a "dot source" source behind each picture instead. Do not run `dot' on big automata.
0a1fc73e