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