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 14:53:54 +02:00
parent 0378d84bef
commit b14d114fba
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

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