diff --git a/extension/.project b/extension/.project new file mode 100644 index 0000000000..3444daf2bd --- /dev/null +++ b/extension/.project @@ -0,0 +1,11 @@ + + + extension + + + + + + + + diff --git a/zkpackages/.project b/zkpackages/.project new file mode 100644 index 0000000000..32b997bf08 --- /dev/null +++ b/zkpackages/.project @@ -0,0 +1,11 @@ + + + zkpackages + + + + + + + +