• Alexandre Duret-Lutz's avatar
    org: declare utf8 everwhere and fix some typos · c44b1587
    Alexandre Duret-Lutz authored
    * doc/org/autfilt.org, doc/org/csv.org, doc/org/dstar2tgba.org,
    doc/org/genltl.org, doc/org/ioltl.org, doc/org/ltl2tgba.org,
    doc/org/ltlfilt.org, doc/org/ltlgrind.org, doc/org/oaut.org,
    doc/org/randaut.org, doc/org/tools.org: Update.
    c44b1587