From 004204c9e9d5f1384e2430d71953fddd66de5afc Mon Sep 17 00:00:00 2001
From: raj_mathe <raj.dahya@math.uni-leipzig.de>
Date: Fri, 14 May 2021 16:57:38 +0200
Subject: [PATCH] master > master: codego - .gitignore

---
 codego/.gitignore | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/codego/.gitignore b/codego/.gitignore
index d225cca..a1e226f 100644
--- a/codego/.gitignore
+++ b/codego/.gitignore
@@ -18,9 +18,9 @@
 
 ## Go Source
 !/aussagenlogik
-!/aussagenlogik/rekursion
+!/aussagenlogik/recursion
 !/aussagenlogik/schema
-!/aussagenlogik/syntaxbaum
+!/aussagenlogik/formulae
 !/core
 !/core/environment
 !/core/utils