Vincent Laporte 7b805bd0b0 ProofGeneral: 4.2 -> 4.4		2016-10-05 19:09:36 +02:00
..
applications	ProofGeneral: 4.2 -> 4.4	2016-10-05 19:09:36 +02:00
build-support	Merge pull request #19125 from markus1189/bin-bash-cleanup	2016-10-05 17:16:00 +02:00
data	Merge pull request #17478 from Mounium/maia	2016-10-01 18:16:24 +02:00
desktops	Merge pull request #19133 from groxxda/gtkvnc	2016-10-03 16:19:11 +02:00
development	callHackage: ensure we're always using the latest available Hackage database	2016-10-05 19:05:50 +02:00
games	Merge pull request #19125 from markus1189/bin-bash-cleanup	2016-10-05 17:16:00 +02:00
misc	vimPlugins: added agda-vim vim-grammarous vim-easytags, updates	2016-10-05 15:11:20 +02:00
os-specific	rtkit: add patch from debian to remove ControlGroup stanza	2016-10-05 11:23:11 +02:00
servers	Merge pull request #19125 from markus1189/bin-bash-cleanup	2016-10-05 17:16:00 +02:00
shells	Replace hard coded /bin/bash occurrences	2016-10-04 20:15:37 +02:00
stdenv	stdenv.mkDerivation: add comments w/ manual links (#18707)	2016-09-18 11:20:53 +02:00
test
tools	languagetool: fix eval	2016-10-05 17:04:50 +02:00
top-level	ProofGeneral: 4.2 -> 4.4	2016-10-05 19:09:36 +02:00