1
0
mirror of https://github.com/oceanprotocol/docs.git synced 2024-11-01 15:55:34 +01:00

Merge branch 'master' into feature/api-docs

This commit is contained in:
Matthias Kretschmann 2018-11-29 17:13:14 +01:00 committed by GitHub
commit b34df3a8fe
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
6 changed files with 27 additions and 10 deletions

View File

@ -0,0 +1,3 @@
---
title: Get & Use a Compute Service
---

View File

@ -0,0 +1,3 @@
---
title: Get & Use a Data Set
---

View File

@ -0,0 +1,3 @@
---
title: Publish a Compute Service
---

View File

@ -0,0 +1,3 @@
---
title: Publish a Data Set
---

2
external/dev-ocean vendored

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

View File

@ -39,7 +39,12 @@ const Header = () => (
</Link> </Link>
<nav className={styles.headerMenu}> <nav className={styles.headerMenu}>
{sections.map(({ node }) => ( {sections
.filter(
({ node }) =>
node.title !== 'API References'
)
.map(({ node }) => (
<Link <Link
key={node.title} key={node.title}
to={node.link} to={node.link}