summaryrefslogtreecommitdiff
path: root/cmdline
diff options
context:
space:
mode:
authorMichael Vogt <michael.vogt@ubuntu.com>2012-11-05 11:39:47 +0100
committerMichael Vogt <mvo@debian.org>2014-02-14 20:27:03 +0100
commit86eab64799033223f073ca30a6b9655fbab2c214 (patch)
tree557efc03ec10e303d01e4c671f18c766a83d68b4 /cmdline
parente5bdcc8708ee571a7d7d54bbdfa7e226300344ea (diff)
also check that the running kernel is kept
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions