diff options
| author |   khilman <khilman@users.noreply.github.com> | 2018-10-18 17:27:03 +0200 |
|---|---|---|
| committer |   GitHub <noreply@github.com> | 2018-10-18 17:27:03 +0200 |
| commit | 0f7ffcbeed3d80517be1c05a53a5da8fe759a503 (patch) | |
| tree | 565684ec9e50630053d3b2198d803e8d10f578d4 /deploy.sh | |
| parent | 444653525a07faeee32eab0c07ec972ed6fe8967 (diff) | |
| parent | 482e253722b0a154da45fa6e000160cc3d9331e5 (diff) | |
Merge pull request #54 from montjoie/lavalab-gen_parameter
lavalab-gen: permit to choose alternate boards.yaml
Diffstat (limited to 'deploy.sh')
0 files changed, 0 insertions, 0 deletions