diff options
| author | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-05-28 15:33:45 +0200 |
|---|---|---|
| committer | Simon-Kor <52245124+Simon-Kor@users.noreply.github.com> | 2024-05-28 15:33:45 +0200 |
| commit | ecfb1a66f2159e078199e54edf8a80004c28195a (patch) | |
| tree | 86b01994a00159189938904850d879d893c0a7a6 /.gitignore | |
| parent | d7ba30d2bd4ecf87e4b962d2b9f2555fb7d59d1d (diff) | |
proofing some lammes about topological basis
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -42,3 +42,5 @@ haddocks/ stack.yaml.lock zf*.svg Anmerkungen.txt +vampire-taks-with-not-expacted-behavoir/ + |