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

bump dev-ocean

This commit is contained in:
Matthias Kretschmann 2018-11-14 20:00:14 +01:00
parent bc41e20c26
commit d4da212bfe
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit 90d07bfa55df97951835545c188c38bc46682048
Subproject commit 4b0f01f217ddb30cb768879de7dad15bbf7f07a8