-
Alexandre Duret-Lutz authored
* src/misc/escape.cc, src/misc/escape.hh (escape_rfc4180): New function. * src/bin/ltlcross.cc: Do not output space after ',', use "\r\n" for end of line, and use escape_rfc4180(). * NEWS: Mention it.
1c5536ea
To find the state of this project's repository at the time of any of these versions, check out the tags.