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
..
applications	Merge pull request #15544 from groxxda/fix/groovebasin	2016-05-19 08:34:58 +02:00
build-support	debian-build: fix checkinstall invocation (#15538)	2016-05-19 09:41:10 +01:00
data	nerdfonts: moved to correct location	2016-05-17 01:56:35 +02:00
desktops	gnome-terminal: enable GNOME Shell search provider (for 3.18)	2016-05-19 13:59:16 +02:00
development	Merge #15354: add tracefilegen and tracefilesim	2016-05-19 10:29:28 +02:00
games	rename iElectric to domenkozar to match GitHub	2016-05-17 13:00:47 +01:00
misc	Merge #15360: xscreensaver: Fix xscreensaver-text	2016-05-17 09:13:59 +02:00
os-specific	linuxPackages.dpdk: force deterministic arch yet again	2016-05-19 13:53:24 +03:00
servers	bind: Fix references to openssl in *.la files	2016-05-18 23:05:51 +03:00
shells	zsh-prezto: update to latest and fetch submodules	2016-05-17 01:56:35 +02:00
stdenv	stdenv setup.sh: revert most of changes around #14907	2016-05-12 04:53:37 +02:00
test	Remove cruft	2016-04-26 17:31:54 +02:00
tools	Merge pull request #15542 from binarin/add-platinum-searcher	2016-05-19 00:46:41 +04:00
top-level	build python35Packages.{blaze, pandas, scikitlearn} on Hydra	2016-05-19 12:05:39 +02:00