diff options
author | 2018-07-04 14:25:35 +0200 | |
---|---|---|
committer | 2018-07-12 14:30:20 +0200 | |
commit | a86807eafd93f0f53933929f616ee3a73d807d7c (patch) | |
tree | 98f1012be23ceb893ca09513f8b1a7946c1a0e55 /lava-master/scripts/setup.sh | |
parent | 8089b148751def1a6eef60f79c6ea46902aeb6c4 (diff) |
Permit to have backported LAVA patch
If backporting LAVA patch is necessary, this patch add an easy way to do
it.
Diffstat (limited to 'lava-master/scripts/setup.sh')
0 files changed, 0 insertions, 0 deletions