Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
bin
ltl2tgba.cc
Find file
Blame
History
Permalink
ltl2tgba: rename --hoa to --hoaf
· 06b8118d
Alexandre Duret-Lutz
authored
Dec 29, 2014
for consistency with autfilt, randaut, and dstar2tgba * src/bin/ltl2tgba.cc: Here.
06b8118d