• Alexandre Duret-Lutz's avatar
    document -U · 332694a4
    Alexandre Duret-Lutz authored
    * doc/org/.dir-locals.el, doc/org/init.el.in: Use 'B' instead of 'b' for
    default Dot output.
    * doc/org/oaut.org: Adjust.
    * NEWS, doc/org/ltl2tgba.org: Document -U.
    * src/bin/common_post.cc, src/bin/ltl2tgba.cc: Fix location of help text
    for -U.
To find the state of this project's repository at the time of any of these versions, check out the tags.