Skip to content

Commit d8ad1b6

Browse files
author
JulianMackay
committed
.gitignore update
1 parent d67f4a7 commit d8ad1b6

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎.gitignore

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -51,3 +51,6 @@ type_members/code_examples/List.class
5151
design/effects/ecoop18/main.vtc
5252

5353
design/effects/ecoop18/main-OC-CC-proofs.vtc
54+
*.glob
55+
*.vo
56+
*.vo

0 commit comments

Comments
 (0)