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:48:39 +01:00
parent 3c13ddffee
commit 9296b7dda8
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

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