diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2012-11-05 11:39:47 +0100 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-02-14 20:27:03 +0100 |
| commit | 86eab64799033223f073ca30a6b9655fbab2c214 (patch) | |
| tree | 557efc03ec10e303d01e4c671f18c766a83d68b4 /.gitignore | |
| parent | e5bdcc8708ee571a7d7d54bbdfa7e226300344ea (diff) | |
also check that the running kernel is kept
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions