-
Alexandre Duret-Lutz authored
* doc/org/autfilt.org, doc/org/dstar2tgba.org, doc/org/hoa.org, doc/org/ltlcross.org: Fix several typos. In particular ":results" and ":exports" both end with s.
4e025ecd
* doc/org/autfilt.org, doc/org/dstar2tgba.org, doc/org/hoa.org, doc/org/ltlcross.org: Fix several typos. In particular ":results" and ":exports" both end with s.