rename folder

This commit is contained in:
thomaslavaur 2024-07-23 15:30:11 +02:00
parent 88b955ec99
commit 568ffabba5
21 changed files with 1 additions and 1 deletions

2
.gitmodules vendored
View File

@ -1,3 +1,3 @@
[submodule "Proof of Leadership/circomlib"]
path = Proof of Leadership/circomlib
path = proof_of_leadership/circomlib
url = https://github.com/iden3/circomlib.git