Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbatest
ltl2tgba.cc
Find file
Blame
History
Permalink
Make Couvreur/FM the default translation.
· 55b693e1
Alexandre Duret-Lutz
authored
Jan 30, 2010
* src/tgbatest/ltl2tgba.cc (syntax, main): Do it. * NEWS: Mention it.
55b693e1