Bumped gnome-shell version up to 3.18

cleanup
user 9 years ago
parent d39fe35814
commit a9d6316885

@ -2,7 +2,7 @@
"name": "Tor Control", "name": "Tor Control",
"description": "Change Tor identity from the panel", "description": "Change Tor identity from the panel",
"shell-version": [ "shell-version": [
"3.14" "3.14", "3.16", "3.18"
], ],
"url": "https://github.com/fqxp/gnome-shell-extension-tor", "url": "https://github.com/fqxp/gnome-shell-extension-tor",
"uuid": "tor@gnome-shell-extension.fqxp.de", "uuid": "tor@gnome-shell-extension.fqxp.de",

Loading…
Cancel
Save