diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-10 15:39:48 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-10 15:39:48 +0200 |
| commit | 59babf83614a4d1d9e01fa853b58ec7c9a9c69d1 (patch) | |
| tree | b255d2a505815e6edbae346315c353634aeb7433 /extra/gnome-desktop | |
| parent | 234af9fa4cc8973612def6826f6d491ab5051b9e (diff) | |
| download | packages-59babf83614a4d1d9e01fa853b58ec7c9a9c69d1.tar.xz | |
extra/linux-pae: new version
Diffstat (limited to 'extra/gnome-desktop')
0 files changed, 0 insertions, 0 deletions