Get rid of old generated file

This commit is contained in:
Gerard Vermeulen 2023-07-16 07:26:37 +02:00
parent 298603bb69
commit 2cb33a692d
1 changed files with 0 additions and 1 deletions

1
.gitignore vendored
View File

@ -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