Skip to content
Snippets Groups Projects
Commit 116cd985 authored by dgelessus's avatar dgelessus
Browse files

Re-add some .gitignore entries that were needed after all

parent 9f4866f4
Branches
Tags
No related merge requests found
Show whitespace changes
Inline Side-by-side
Showing
with 5 additions and 0 deletions
.gitignore
+ 5
− 0
View file @ 116cd985
...@@ -6,3 +6,8 @@ ...@@ -6,3 +6,8 @@
.classpath .classpath
.project .project
.settings/ .settings/
# Test output
*.prob
Testing.cfg
Testing.tla
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment