-
Alexandre Duret-Lutz authored
The new ob-dot.el installed by 15ea2e66 makes all the sed escaping useless (and actually harmful). * doc/org/ltl2tgta.org, doc/org/oaut.org: Fix those.
ce7b9c51
The new ob-dot.el installed by 15ea2e66 makes all the sed escaping useless (and actually harmful). * doc/org/ltl2tgta.org, doc/org/oaut.org: Fix those.