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

add dev-ocean as submodule

This commit is contained in:
Matthias Kretschmann 2018-11-14 14:20:34 +01:00
parent 13639a678f
commit a01dc54baa
Signed by: m
GPG Key ID: 606EEEF3C479A91F
3 changed files with 5 additions and 1 deletions

3
.gitmodules vendored Normal file
View File

@ -0,0 +1,3 @@
[submodule "external/dev-ocean"]
path = external/dev-ocean
url = https://github.com/oceanprotocol/dev-ocean

View File

@ -147,7 +147,7 @@ As a prerequisite you'll need on your machine:
Clone this repo, install all dependencies, and start the development server:
```bash
git clone git@github.com:oceanprotocol/docs.git
git clone --recursive git@github.com:oceanprotocol/docs.git
cd docs/
# add GITHUB_TOKEN

1
external/dev-ocean vendored Submodule

@ -0,0 +1 @@
Subproject commit 6d3378fb8ac3d55bcf51ed44c3aacff750eecc39