-
Alexandre Duret-Lutz authored
Suggested by Akim Demaille. Fixes #69. * doc/org/.dir-locals.el, doc/org/init.el.in, wrap/python/tests/automata.ipynb: Set arrowhead and arrowsize. * doc/org/autfilt.org, doc/org/dstar2tgba.org, doc/org/ltl2tgba.org, doc/org/oaut.org: Adjust.
8e6b35e5