diff options
| author | Luca Boccassi <bluca@debian.org> | 2023-05-04 19:17:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-04 19:17:37 +0100 |
| commit | 92c5d3ff306b7098b5a55d808af1a75497e940c1 (patch) | |
| tree | 8a426a27bcbd3e740272abafb127fb417422a108 /man | |
| parent | 57485012c2f506d1471cbdf2bc03620c42097e93 (diff) | |
| parent | 5ebf0b321f9c43cc55d72a69cd068041e5ac8617 (diff) | |
| download | systemd-92c5d3ff306b7098b5a55d808af1a75497e940c1.tar.gz | |
Merge pull request #27529 from DaanDeMeyer/kernel-top
mkosi: A few kernel build QOL improvements
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions