forge install: properties

v1.0.0
yearn · Feb 1, 2024 · 40303d5 · 40303d5
1 parent 0821426
commit 40303d5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -12,3 +12,6 @@
 	path = lib/erc4626-tests
 	url = https://github.com/a16z/erc4626-tests
 	branch = main
+[submodule "lib/properties"]
+	path = lib/properties
+	url = https://github.com/crytic/properties
diff --git a/lib/properties b/lib/properties