diff options
| author | Erich Eckner <git@eckner.net> | 2019-05-22 09:24:17 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-05-22 09:24:17 +0200 |
| commit | 2974cbc98b2895fd886d8e7f18d84067bb202d84 (patch) | |
| tree | 83fa106d9f6b9860c6355ae624fe258a5737a14a /extra/gnu-efi-libs | |
| parent | 95ffd002d94f861619481b934193bfa045977bc5 (diff) | |
| download | packages-2974cbc98b2895fd886d8e7f18d84067bb202d84.tar.xz | |
extra/linux-pae: 5.1.3 -> 5.1.4
Diffstat (limited to 'extra/gnu-efi-libs')
0 files changed, 0 insertions, 0 deletions