From ecfb1a66f2159e078199e54edf8a80004c28195a Mon Sep 17 00:00:00 2001 From: Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> Date: Tue, 28 May 2024 15:33:45 +0200 Subject: proofing some lammes about topological basis --- .gitignore | 2 ++ 1 file changed, 2 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index ddb98c3..49c3120 100644 --- a/.gitignore +++ b/.gitignore @@ -42,3 +42,5 @@ haddocks/ stack.yaml.lock zf*.svg Anmerkungen.txt +vampire-taks-with-not-expacted-behavoir/ + -- cgit v1.2.3