diff options
| author | innovaker <66737976+innovaker@users.noreply.github.com> | 2020-12-15 14:44:39 +0000 |
|---|---|---|
| committer | Pete Johanson <peter@peterjohanson.com> | 2020-12-18 09:18:08 -0500 |
| commit | 3b77266bbb43d54a07acf79733190714965ea37e (patch) | |
| tree | 2129e7f4b68687216c4718f60c4d3a599a97f164 /docs | |
| parent | 89532eadeb3c34a5ecbb867a63eb7a77415d08a2 (diff) | |
feat(devcontainer): add volume mounts for zephyr, modules and tools
This effectively caches Zephyr and its dependencies. It also shares them between containers.
PR: #519
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions