chore: install crytic/properties

0xteddybear · Aug 7, 2024 · 2ac5ff0 · 2ac5ff0
1 parent d469a49
commit 2ac5ff0
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -26,3 +26,6 @@
 [submodule "packages/contracts-bedrock/lib/automate"]
 	path = packages/contracts-bedrock/lib/automate
 	url = https://github.com/gelatodigital/automate
+[submodule "packages/contracts-bedrock/lib/properties"]
+	path = packages/contracts-bedrock/lib/properties
+	url = https://github.com/crytic/properties
diff --git a/packages/contracts-bedrock/lib/properties b/packages/contracts-bedrock/lib/properties