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-16 14:46:28 +01:00
parent a3fe47cb88
commit 717e0939a8
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit ab9e7a18c9a2b61dfaf4854e46748c603208ff20
Subproject commit b082789e850b6cdf5af129352f58e029b4a8637b