[develop] Add mina as a git submodule for o1js#1318
Merged
MartinMinkov merged 24 commits intodevelopfrom feat/add-mina-submodule-developDec 19, 2023
+127-48
Commits
Commits on Dec 13, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
