merged fixes

M1chaelM · Jul 18, 2019 · a3137d5 · a3137d5
2 parents b70f616 + 578804c
commit a3137d5
Show file tree

Hide file tree

Showing 3 changed files with 180 additions and 204 deletions.
diff --git a/art/exam3_automaton.pdf b/art/exam3_automaton.pdf