diff options
| author | Erich Eckner <git@eckner.net> | 2018-12-27 13:50:17 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-12-27 13:50:17 +0100 |
| commit | 5ae5361a008f0f44e7ddbb14e3c4c4de26225091 (patch) | |
| tree | 25546d818248f186f244c60a132812e81f6f0b7f /extra/gnome-desktop | |
| parent | d002fe27470abb089cb2e5155c039c1fb74b770c (diff) | |
| download | packages-5ae5361a008f0f44e7ddbb14e3c4c4de26225091.tar.xz | |
extra/linux-pae: 4.19.11 -> 4.20
Diffstat (limited to 'extra/gnome-desktop')
0 files changed, 0 insertions, 0 deletions