Home / ubuntu / pool / universe / g / gnome-shell-extension-shortcuts
File Name
Size
Date
  • ..
    —
    —
  • gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz
    2.49KB
    2018-01-11 01:08:31
    gnome-shell-extension-shortcuts_1.1.1-1.dsc
    2.10KB
    2018-01-11 01:08:31
    gnome-shell-extension-shortcuts_1.1.1-1_all.deb
    9.09KB
    2018-01-11 14:00:13
    gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz
    19.56KB
    2018-01-11 01:08:31