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-29 12:49:15 +01:00
parent 92d8f6fe5a
commit 5f2dd354d3
Signed by: m
GPG Key ID: 606EEEF3C479A91F

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit 96e18f52dca83264b53348387c295376d6b25adb
Subproject commit 17d9bbaffa0dcb29fc2e01794723c245f6f4a57d