diff --git a/.gitignore b/.gitignore index 0c5f5c78..dc5b29f5 100644 --- a/.gitignore +++ b/.gitignore @@ -2,6 +2,10 @@ main-*.pdf graphics/*.pdf_tex democode.tex +# plantuml +*-plantuml.latex +*-plantuml.txt + # latexindent *.bak *.bak?