1
0
mirror of https://github.com/oceanprotocol/docs.git synced 2024-07-01 06:02:10 +02:00

bump dev-ocean

This commit is contained in:
Matthias Kretschmann 2018-11-16 16:39:30 +01:00
parent d09ca41023
commit 46a573cf5c
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit b082789e850b6cdf5af129352f58e029b4a8637b
Subproject commit e4ba686bd8a083509e43f39c60edee14d7197724