• Alexandre Duret-Lutz's avatar
    ltlcross: follow RFC 4180 for CSV output. · 1c5536ea
    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