Commit 959e757a authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

org: cleanup some temporary

* doc/org/ Here.
parent 0c9c4be4
......@@ -570,6 +570,7 @@ $txt
#+BEGIN_SRC sh :results verbatim :exports results
ltl2tgba -s 'p0 | GFp1' > tmp.$$
ltl2tgba -s6 'p0 | GFp1' | pr -w80 -m -t tmp.$$ -
rm tmp.$$
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment