• Alexandre Duret-Lutz's avatar
    Cleanup the help of ltl2tgba. · c9b65cff
    Alexandre Duret-Lutz authored
    * src/tgbatest/ltl2tgba.cc (syntax): Reorganize the help text, so
    that we can find options without resorting to grep...  Also
    cleanup the program name if it is a libtool wrapper.
    c9b65cff
ltl2tgba.cc 31.5 KB