diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-12-20 10:23:33 +0100 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-12-20 10:23:33 +0100 |
| commit | d4ff9a8a44552e126f2c6e1ab5fea4845a50833e (patch) | |
| tree | cc2f5c06fe3c8e01bb412041ce18ffdf1aabc841 /Jenkinsfile | |
| parent | af05ec76b4ad9c03fae6cf0167753a9f85ec217e (diff) | |
| download | seabios-d4ff9a8a44552e126f2c6e1ab5fea4845a50833e.tar.gz | |
turn off opts for 128k bios
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions