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 /COMPILING | |
| parent | 0b9f0e9bba678c3e5327a260faee96ea3a71df79 (diff) | |
also check that the running kernel is kept
Diffstat (limited to 'COMPILING')
0 files changed, 0 insertions, 0 deletions