Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    org: typos · c37fedb0
    Alexandre Duret-Lutz authored 
    Reported by Joachim Klein.

* doc/org/ltl2tgba.org: Broken link.
* doc/org/ltlcross.org: Two typos.
    c37fedb0