diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-10 22:06:15 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-10 22:06:15 +0100 |
| commit | 7a59ceac08fbb5fdddaa66006271fc4eb979125f (patch) | |
| tree | 9966dc4408b6839f6ff8e2e0792a57c7c1287b34 /man.commons.in | |
| parent | 726b1850da914fdebed50ed417052728cc6824e8 (diff) | |
| download | check-kernel-7a59ceac08fbb5fdddaa66006271fc4eb979125f.tar.xz | |
check-kernel.in: find arch kernel with non-standard name (e.g. linux-raspberry)
Diffstat (limited to 'man.commons.in')
0 files changed, 0 insertions, 0 deletions