1
0
mirror of https://github.com/oceanprotocol/docs.git synced 2024-11-26 19:49:26 +01:00
This commit is contained in:
Matthias Kretschmann 2018-11-16 17:56:29 +01:00
parent 04dd0ea66f
commit adcdff8dba
Signed by: m
GPG Key ID: 606EEEF3C479A91F

4
.gitmodules vendored
View File

@ -1,4 +1,4 @@
[submodule "external/dev-ocean"] [submodule "external/dev-ocean"]
path = external/dev-ocean path = external/dev-ocean
url = https://github.com/oceanprotocol/dev-ocean url = https://github.com/oceanprotocol/dev-ocean
branch = master branch = master