diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2018-06-06 13:02:45 +0200 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2018-06-06 13:04:31 +0200 |
| commit | f19c486746d1bc49665e0562d7729f4119bf78e7 (patch) | |
| tree | 9c82dba1147ba68c06f38515a727cc463dcb240d /xfce-extra/xfce4-wmdock-plugin | |
| parent | xfce-extra/xfce4-taskmanager: Flip the default to GTK+3 (diff) | |
| download | gentoo-f19c486746d1bc49665e0562d7729f4119bf78e7.tar.gz gentoo-f19c486746d1bc49665e0562d7729f4119bf78e7.tar.bz2 gentoo-f19c486746d1bc49665e0562d7729f4119bf78e7.zip | |
xfce-extra/xfce4-taskmanager: Update icon cache
Diffstat (limited to 'xfce-extra/xfce4-wmdock-plugin')
0 files changed, 0 insertions, 0 deletions