Remove unnecessary copy of submodule.
This commit is contained in:
3
.gitmodules
vendored
3
.gitmodules
vendored
@@ -10,6 +10,3 @@
|
||||
[submodule "libs/cheri-cap-lib"]
|
||||
path = libs/cheri-cap-lib
|
||||
url = https://github.com/CTSRD-CHERI/cheri-cap-lib.git
|
||||
[submodule "libs/BSV-RVFI-DII"]
|
||||
path = libs/BSV-RVFI-DII
|
||||
url = https://github.com/CTSRD-CHERI/BSV-RVFI-DII.git
|
||||
|
||||
Submodule libs/BSV-RVFI-DII deleted from 1f702a8b5b
Reference in New Issue
Block a user