Delete barstools submodule

2024-04-19 11:07:45 -07:00
parent ac11f6dbd1
commit d7060f4b5a
2 changed files with 0 additions and 4 deletions
--- 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