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 2019-09-18 10:56:08 +02:00
parent 89c6a9f371
commit 8ebaa97eda
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit 1a82c6964075aa6358643cc902f971e64da32b72 Subproject commit 3865e1905c1309970359adb5e984fa7e0e49b5cb