d129587b5d
The offical GNOME 3.16 release notes can be found at https://help.gnome.org/misc/release-notes/3.16/ Upgrade instructions for port users: Delete the old tracker package with: # pkg delete -f tracker And user port upgrade tool of choice to upgrade. Thanks to Antoine Brodin for running the exp-runs. This release was made possible by the following people: Gustau Perez Ting-Wei_Lan PR: 201980
9 lines
633 B
Text
9 lines
633 B
Text
share/gnome-shell/extensions/gnome-shell-files-menu/.gitignore
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/README.md
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/directoryMenu.js
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/extension.js
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/files-menu.pot
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/locale/de/LC_MESSAGES/files-menu.mo
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/locale/de/LC_MESSAGES/files-menu.po
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/menuItems.js
|
|
share/gnome-shell/extensions/gnome-shell-files-menu/metadata.json
|