Bjørn Forsman ca717d0d65 gnome-terminal: enable GNOME Shell search provider (for 3.18) ... [This is a re-application of the patch that was originally written for GNOME 3.16. It was lost during the transition to GNOME 3.18.] Silly ./configure, it looks for dbus file from gnome-shell in the installation tree of the package it is configuring. Fix by copying the needed file from gnome-shell before ./configure is run. This change makes gnome-shell a build time dependency (not runtime).		2016-05-19 13:59:16 +02:00
..
apps	Merge pull request #14916 from NicolasPetton/file-roller-nautilus-extension	2016-04-23 18:42:06 +02:00
core	gnome-terminal: enable GNOME Shell search provider (for 3.18)	2016-05-19 13:59:16 +02:00
desktop/rarian
devtools	gnome3_18: Update to latest patch release	2016-01-13 15:14:08 +01:00
games	gnome3_18: Update to latest patch release	2016-01-13 15:14:08 +01:00
misc	gitg: 3.18.0 -> 3.20.0	2016-05-18 08:19:52 -04:00
default.nix	pidgin-im-gnome-shell-extension: init at 1.0	2016-04-13 14:30:00 +02:00
installer.nix	installer: add graphical GNOME iso	2016-02-29 15:51:38 +01:00