-
Alexandre Duret-Lutz authored
This additionally fixes #107. * src/bin/ltlgrind.cc: Fix handling for FILEANAME/COL. Document FORMAT in --help. Assume -F for arguments given without options. * src/tests/ltlgrind.test: Add two tests. * NEWS: Mention this.
0671d628