Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
common_trans.cc
Find file
Blame
History
Permalink
bin: add shorthand for ltl3tela
· f42f1568
Alexandre Duret-Lutz
authored
Oct 19, 2017
That's the new name of ltl3hoa. * bin/common_trans.cc: Add it.
f42f1568