diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-25 11:58:47 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-25 11:58:47 +0200 |
| commit | e7f30a2201468911e42a8712b254009eae0a94a9 (patch) | |
| tree | 78e1ea6f63bb4c570ba1e9a04d0e33ec0acdddcc /extra/gnome-desktop | |
| parent | cb454a3644fb41c4c1ebaac94b67a8feba6d45c0 (diff) | |
| download | packages-e7f30a2201468911e42a8712b254009eae0a94a9.tar.xz | |
extra/linux-pae: new version
Diffstat (limited to 'extra/gnome-desktop')
0 files changed, 0 insertions, 0 deletions