diff --git a/.gitmodules b/.gitmodules index 6ebbad59..764a4381 100644 --- a/.gitmodules +++ b/.gitmodules @@ -127,9 +127,6 @@ [submodule "tools/axe"] path = tools/axe url = https://github.com/CTSRD-CHERI/axe.git -[submodule "tools/barstools"] - path = tools/barstools - url = https://github.com/ucb-bar/barstools.git [submodule "tools/cde"] path = tools/cde url = https://github.com/chipsalliance/cde.git diff --git a/tools/barstools b/tools/barstools deleted file mode 160000 index 60a1be9b..00000000 --- a/tools/barstools +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 60a1be9bfe344fccbddd4874524accb3c9d2ade9