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-3.16.patch | |
parent | 4f82ca13c85be9bd77e1aaccbbfa18e3b76998a5 (diff) | |
download | aur-709adbc28c25771bec60b98765a3d6a1d2f01c6d.tar.gz |
Update for gnome-shell 3.18
Diffstat (limited to 'gnome-shell-3.16.patch')
-rw-r--r-- | gnome-shell-3.16.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gnome-shell-3.16.patch b/gnome-shell-3.16.patch deleted file mode 100644 index e6e956b2804f..000000000000 --- a/gnome-shell-3.16.patch +++ /dev/null @@ -1,14 +0,0 @@ ---- metadata.json -+++ metadata.json -@@ -2,10 +2,11 @@ - "shell-version": [ - "3.10", - "3.12", -- "3.14" -+ "3.14", -+ "3.16" - ], - "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" |