1
0
mirror of https://github.com/oceanprotocol/docs.git synced 2024-11-26 19:49:26 +01:00

Merge pull request #58 from oceanprotocol/feature/bump-dev-ocean

bump dev-ocean
This commit is contained in:
Matthias Kretschmann 2018-11-22 12:49:34 +01:00 committed by GitHub
commit 3231613fd2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

2
external/dev-ocean vendored

@ -1 +1 @@
Subproject commit dfaf26f53366130da2973a25e596f0ed6fe7b0c7
Subproject commit f5c6c2ae0b8cdaaee6f67ef6050eb290768ea861