diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-08 11:37:08 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-08 11:37:08 +0100 |
| commit | a870216addc664e94f5463f9f43db97c3643ce10 (patch) | |
| tree | f0f32b7a8fb3a45a2d6f0c86740d1a76428cca09 /Makefile | |
| parent | 6995ef575e73937ae5ca393771643961e69eed82 (diff) | |
| download | check-kernel-a870216addc664e94f5463f9f43db97c3643ce10.tar.xz | |
check-kernel.in: fix another bug
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions