diff options
author | Philip Hands <phil@hands.com> | 2016-05-21 00:47:38 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-05-21 11:34:13 +0200 |
commit | 73bb6306d7fa91b79b7a49f841b0eabbfff2d0c0 (patch) | |
tree | 642bdf2687444aa21fb4a26005c1c67914fd42f5 /jenkins-home | |
parent | 9a4d8fb735f98757f8250ee4d94b3a75b1d1d8c1 (diff) | |
download | jenkins.debian.net-73bb6306d7fa91b79b7a49f841b0eabbfff2d0c0.tar.xz |
lvc: maybe if we look for InstallGRUB first, it'll work
(cherry picked from commit 0da1a6abb9a9bae0d00811847308b8f5c0e523ea)
Diffstat (limited to 'jenkins-home')
0 files changed, 0 insertions, 0 deletions