diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2012-11-05 11:39:47 +0100 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2012-11-05 11:39:47 +0100 |
commit | a7e926d57fbed2e0cc1c059364191a3544ce2fe5 (patch) | |
tree | c3ca257ec91d013686eea58d58b3226219465fe6 /dselect | |
parent | 0b9f0e9bba678c3e5327a260faee96ea3a71df79 (diff) |
also check that the running kernel is kept
Diffstat (limited to 'dselect')
0 files changed, 0 insertions, 0 deletions