chore: remove halmos-cheatcode

morpho-org · Apr 2, 2024 · bb2f9af · bb2f9af
1 parent 6667451
commit bb2f9af
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,3 @@
 [submodule "lib/forge-std"]
 	path = lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
-[submodule "lib/halmos-cheatcodes"]
-	path = lib/halmos-cheatcodes
-	url = git@github.com:a16z/halmos-cheatcodes.git
diff --git a/lib/halmos-cheatcodes b/lib/halmos-cheatcodes