diff options
| author | Gerd Hoffmann <kraxel@redhat.com> | 2018-06-12 16:10:19 +0200 |
|---|---|---|
| committer | Gerd Hoffmann <kraxel@redhat.com> | 2018-06-12 16:10:19 +0200 |
| commit | af05ec76b4ad9c03fae6cf0167753a9f85ec217e (patch) | |
| tree | 79910c033f5271070394b43e97ed62657eb1a6ca /Jenkinsfile | |
| parent | bf44a8a86636b8d815cf4221dc15bb4b525a0919 (diff) | |
| download | seabios-af05ec76b4ad9c03fae6cf0167753a9f85ec217e.tar.gz | |
fix %build
Diffstat (limited to 'Jenkinsfile')
0 files changed, 0 insertions, 0 deletions