-
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.
332694a4