Skip to content

Commit 7ec576a

Browse files
author
Daniel Kroening
committed
ignore dirty submodule
1 parent 9aa2792 commit 7ec576a

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

.gitmodules

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
[submodule "CBMC"]
22
path = lib/cbmc
33
url = https://github.com/diffblue/cbmc.git
4+
ignore = dirty

0 commit comments

Comments
 (0)