1
0
mirror of https://github.com/oceanprotocol/docs.git synced 2024-11-26 19:49:26 +01:00

switch to master of dev-ocean

This commit is contained in:
Matthias Kretschmann 2018-11-16 17:53:42 +01:00
parent 04455902c0
commit 04dd0ea66f
Signed by: m
GPG Key ID: 606EEEF3C479A91F
2 changed files with 2 additions and 1 deletions

1
.gitmodules vendored
View File

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

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit e4ba686bd8a083509e43f39c60edee14d7197724
Subproject commit 0aeaf4eeadda2901da629ead14748c89d05c26dc