-
Alexandre Duret-Lutz authored
* src/bin/man/ltlcheck.x: New file. * src/bin/man/Makefile.am: Add it. * src/bin/ltlcheck.cc: Arrange help text.
7b6337f4
* src/bin/man/ltlcheck.x: New file. * src/bin/man/Makefile.am: Add it. * src/bin/ltlcheck.cc: Arrange help text.