* src/tgbatest/ltl2tgba.cc (syntax, main): Do it. * NEWS: Mention it.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored