edu4rdshl/gnome-shell
1
0
Fork 0
mirror of https://github.com/edu4rdshl/gnome-shell.git synced 2026-07-17 23:24:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

build: Remove remote menu support

Browse source 
It is now unused.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/624
This commit is contained in:
Florian Müllner 2018-10-04 17:21:21 +02:00
parent 753618a19f
commit 7df93458d7
9 changed files with 4 additions and 2067 deletions
Download patch file Download diff file Expand all files Collapse all files

1
js/js-resources.gresource.xml
View file

@ -83,7 +83,6 @@
<file>ui/panelMenu.js</file>
<file>ui/pointerWatcher.js</file>
<file>ui/popupMenu.js</file>
<file>ui/remoteMenu.js</file>
<file>ui/remoteSearch.js</file>
<file>ui/runDialog.js</file>
<file>ui/screenShield.js</file>