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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions