From 2cb33a692d6923896aad8ce05e56eeb73f66f7ee Mon Sep 17 00:00:00 2001 From: Gerard Vermeulen Date: Sun, 16 Jul 2023 07:26:37 +0200 Subject: [PATCH] Get rid of old generated file --- .gitignore | 1 - 1 file changed, 1 deletion(-) 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