deskutils/gnome-shell-extension-filesmenu/pkg-plist

   1 share/gnome-shell/extensions/gnome-shell-files-menu/.gitignore
   2 share/gnome-shell/extensions/gnome-shell-files-menu/LICENSE
   3 share/gnome-shell/extensions/gnome-shell-files-menu/Makefile
   4 share/gnome-shell/extensions/gnome-shell-files-menu/README.md
   5 share/gnome-shell/extensions/gnome-shell-files-menu/directoryMenu.js
   6 share/gnome-shell/extensions/gnome-shell-files-menu/extension.js
   7 share/gnome-shell/extensions/gnome-shell-files-menu/files-menu.pot
   8 share/gnome-shell/extensions/gnome-shell-files-menu/locale/de/LC_MESSAGES/files-menu.mo
   9 share/gnome-shell/extensions/gnome-shell-files-menu/locale/de/LC_MESSAGES/files-menu.po
  10 share/gnome-shell/extensions/gnome-shell-files-menu/menuItems.js
  11 share/gnome-shell/extensions/gnome-shell-files-menu/metadata.json