diff --git a/.gitignore b/.gitignore index ecf7867c5dc0b83857362da5990231f33dd9c481..7f1600a9f22850274faef28668d938aeb10276e7 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ omdoc-semantics/macros -omdoc-semantics/tikz \ No newline at end of file +omdoc-semantics/tikz +auto