Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
ltl2tgta.cc
Find file
Blame
History
Permalink
* src/bin/ltl2tgta.cc: Simplify using spot::translator().
· d415a238
Alexandre Duret-Lutz
authored
Oct 22, 2013
d415a238