-
Alexandre Duret-Lutz authored
Suggested by Akim Demaille. * bin/ltlcross.cc: Change the colors, and add ':' at the end of some error message. * NEWS: Mention the color change. * doc/org/ltlcross.org: Adjust examples.
a0366921
Suggested by Akim Demaille. * bin/ltlcross.cc: Change the colors, and add ':' at the end of some error message. * NEWS: Mention the color change. * doc/org/ltlcross.org: Adjust examples.