diff options
| author | Erich Eckner <git@eckner.net> | 2019-11-03 22:42:33 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-11-03 22:42:33 +0100 |
| commit | a60790cf61bbac8ce52c9120961ca57950fd2165 (patch) | |
| tree | 518706796270066bfe977f6b7df500a4c9dfa2d6 /man.commons.in | |
| parent | 6758ee1a21564bab90d4787b3e5792d422c747a5 (diff) | |
| download | check-kernel-a60790cf61bbac8ce52c9120961ca57950fd2165.tar.xz | |
check-kernel: arch does not name its kernel "arch" anymore
Diffstat (limited to 'man.commons.in')
0 files changed, 0 insertions, 0 deletions