diff options
author | khilman <khilman@users.noreply.github.com> | 2019-01-08 14:17:29 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-01-08 14:17:29 -0800 |
commit | 09fa2c74e0726a850b32ac0802aa992a7dd5eedb (patch) | |
tree | 950ebd7143d369bd57fcff8bf056d999e3b59184 /boards.yaml | |
parent | 01409708b92a2acb2f8ff1da8d27054530c078f9 (diff) | |
parent | 8cb9b1ddbadc1f98afcaf6a33aa8a7e7fd4d34be (diff) |
Merge pull request #82 from kernelci/wip/custom_options
lavalab-gen: more flexible custom_options
Diffstat (limited to 'boards.yaml')
0 files changed, 0 insertions, 0 deletions