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-22 15:53:22 +01:00
parent 9296b7dda8
commit 8e45f78d46
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit 088cfe2ae2eed4f3c676d0a9afdf30f69b705d79
Subproject commit cbdb96cf4d8e1f98a79b82db00f57dc0691b2b3d