Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
gnome-shell-extension-shortcuts_1.1.1-1.debian...> | 2019-08-27 11:57 | 2.5K | ||
gnome-shell-extension-shortcuts_1.1.1-1.dsc | 2019-08-27 11:57 | 2.1K | ||
gnome-shell-extension-shortcuts_1.1.1-1_all.deb | 2019-08-27 11:57 | 9.0K | ||
gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz | 2019-08-27 11:57 | 20K | ||
Univention GmbH, (c) Univention GmbH 2010-2024