Bjørn Forsman 0b061e7f75 gnome-terminal: enable GNOME Shell search provider (for 3.20) ... [This is a re-re-application of the patch that was originally written for GNOME 3.16. It was lost during the transition to GNOME 3.18 and then to 3.20. Third time's a charm?] Silly ./configure, it looks for dbus file from gnome-shell in the installation tree of the package it is configuring. Fix by copying needed file from gnome-shell before ./configure is run. This change makes gnome-shell a build time dependency (not runtime).		2016-06-18 14:17:27 +02:00
..
apps
core	gnome-terminal: enable GNOME Shell search provider (for 3.20)	2016-06-18 14:17:27 +02:00
desktop/rarian
devtools
games
misc	gpaste: fix evaluation	2016-06-07 17:23:19 +03:00
default.nix
installer.nix