diff options
| author | Erich Eckner <git@eckner.net> | 2018-10-22 12:47:39 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-10-22 12:47:39 +0200 |
| commit | 67aef9ad19d1e8065c24c7ed47be06b5d1d25778 (patch) | |
| tree | 767af318c81d2bf8b67e36fffdb3e9284a6be38e /extra/gnu-efi-libs | |
| parent | 8538245812aa340f3fa678fb485eddc84e03ef6c (diff) | |
| download | packages-67aef9ad19d1e8065c24c7ed47be06b5d1d25778.tar.xz | |
extra/linux-pae: 4.18.16 -> 4.19
Diffstat (limited to 'extra/gnu-efi-libs')
0 files changed, 0 insertions, 0 deletions