Browse Source

Update gitignore

undefined
Maxime Wack 3 months ago
parent
commit
bb3bbea230
1 changed files with 4 additions and 1 deletions
  1. +4
    -1
      .gitignore

+ 4
- 1
.gitignore View File

@@ -1,2 +1,5 @@
*.png
/test_*
*.dot
*.prov
docs/
tests/*/

Loading…
Cancel
Save