diff options
author | innovaker <66737976+innovaker@users.noreply.github.com> | 2020-12-11 13:40:11 +0000 |
---|---|---|
committer | Pete Johanson <peter@peterjohanson.com> | 2020-12-14 22:54:55 -0500 |
commit | 6fa0f8f060912763a0ec267abd6d6b91eb0ffd7c (patch) | |
tree | 75a71b036447890e933d6464ee496fcec8f37114 /docs/static | |
parent | 019f7f5465c97bef78bbe490d6b33a5ba7ea61fc (diff) |
ci: remove zephyr.base-prefer configfile
CI builds successfully without this step.
PR: #498
Diffstat (limited to 'docs/static')
0 files changed, 0 insertions, 0 deletions