Ignore RUNLOG*
This commit is contained in:
parent
0922def0d6
commit
d602663060
1 changed files with 1 additions and 0 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
@ -25,5 +25,6 @@ rel/machi
|
||||||
*.patch
|
*.patch
|
||||||
current_counterexample.eqc
|
current_counterexample.eqc
|
||||||
foo*
|
foo*
|
||||||
|
RUNLOG*
|
||||||
typescript*
|
typescript*
|
||||||
*.swp
|
*.swp
|
||||||
|
|
Loading…
Reference in a new issue