Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
bin
ltl2tgta.cc
Find file
Blame
History
Permalink
bin: remove dead code from ltl2tgta
· 3334a6a6
Alexandre Duret-Lutz
authored
May 21, 2018
* bin/ltl2tgta.cc: There is no -B option.
3334a6a6