diff options
author | Pieter Goetschalckx | 2015-10-09 10:58:55 +0200 |
---|---|---|
committer | Pieter Goetschalckx | 2015-10-09 10:58:55 +0200 |
commit | 709adbc28c25771bec60b98765a3d6a1d2f01c6d (patch) | |
tree | a5d9383928cb36526b70d069324390bbf6bfc2fd /gnome-shell-version.patch | |
parent | 4f82ca13c85be9bd77e1aaccbbfa18e3b76998a5 (diff) | |
download | aur-709adbc28c25771bec60b98765a3d6a1d2f01c6d.tar.gz |
Update for gnome-shell 3.18
Diffstat (limited to 'gnome-shell-version.patch')
-rw-r--r-- | gnome-shell-version.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/gnome-shell-version.patch b/gnome-shell-version.patch new file mode 100644 index 000000000000..1f7a3c2c3ee3 --- /dev/null +++ b/gnome-shell-version.patch @@ -0,0 +1,15 @@ +--- metadata.json ++++ metadata.json +@@ -2,10 +2,12 @@ + "shell-version": [ + "3.10", + "3.12", +- "3.14" ++ "3.14", ++ "3.16", ++ "3.18" + ], + "uuid": "audio-output-switcher@anduchs", + "name": "Audio Output Switcher", + "description": "Adds a switch for choosing audio output to the system menu.", + "url": "http://github.com/anduchs/audio-output-switcher" |