replica
/
hanchenye-scalehls
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Rename Polygeist to polygeist

This commit is contained in:
Hanchen Ye 2021-09-30 12:20:01 -05:00
parent ddf17f2ae8
commit bc528b959a
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.gitmodules vendored
View File

@ -1,3 +1,3 @@
[submodule "Polygeist"] [submodule "polygeist"]
path = Polygeist path = polygeist
url = git@github.com:hanchenye/Polygeist.git url = git@github.com:hanchenye/Polygeist.git

0
Polygeist → polygeist
View File