Ignore dirty submodules
This commit is contained in:
2
.gitmodules
vendored
2
.gitmodules
vendored
@@ -1,6 +1,8 @@
|
|||||||
[submodule "third_party/libtock-rs"]
|
[submodule "third_party/libtock-rs"]
|
||||||
path = third_party/libtock-rs
|
path = third_party/libtock-rs
|
||||||
url = https://github.com/tock/libtock-rs
|
url = https://github.com/tock/libtock-rs
|
||||||
|
ignore = dirty
|
||||||
[submodule "third_party/tock"]
|
[submodule "third_party/tock"]
|
||||||
path = third_party/tock
|
path = third_party/tock
|
||||||
url = https://github.com/tock/tock
|
url = https://github.com/tock/tock
|
||||||
|
ignore = dirty
|
||||||
|
|||||||
Reference in New Issue
Block a user