diff --git a/.gitignore b/.gitignore index 75a9d67f773cf0b2e489ed07b764abef6de6d3ed..540ee1bd2a406daec26a80541912d9524f5594ae 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ .vscode *.html *.xopp +mermaid-filter.err