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 /apt-inst/dirstream.h | |
parent | e5bdcc8708ee571a7d7d54bbdfa7e226300344ea (diff) |
also check that the running kernel is kept
Diffstat (limited to 'apt-inst/dirstream.h')
0 files changed, 0 insertions, 0 deletions