diff --git a/.gitignore b/.gitignore index 98e69e5..d5ffdd7 100644 --- a/.gitignore +++ b/.gitignore @@ -25,7 +25,6 @@ org-store-link property-syntax-demonstration.org pyproject.toml setup.cfg -tree.svg worg-backend-dependent-execution-update.org /_minted-README