diff options
| author | Idan Gazit <idan@gazit.me> | 2020-10-09 19:10:07 -0700 |
|---|---|---|
| committer | Idan Gazit <idan@gazit.me> | 2020-10-09 19:10:07 -0700 |
| commit | 5401afc002ba086ca964aa7a164fbc6dbd1898b1 (patch) | |
| tree | 1ad7e781941de3f8f6dd241d540fcc0003cf6da2 | |
| parent | 5c00c97e9a1647e2676586c303d19c5559e2e2f1 (diff) | |
Skip toolchain for docker
| -rw-r--r-- | docs/docs/dev-setup.md | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/docs/dev-setup.md b/docs/docs/dev-setup.md index 6ef0f02..114fe0b 100644 --- a/docs/docs/dev-setup.md +++ b/docs/docs/dev-setup.md @@ -339,11 +339,6 @@ Please be sure to read the [additional setup instructions](https://docs.zephyrpr ::: </TabItem> -<TabItem value="docker"> - -You're already set up: the toolchain is installed and configured inside the docker container. - -</TabItem> </OsTabs> :::note |