Vincent Laporte 4e60f99b83 ProofGeneral: remove legacy version 4.3pre		2016-10-07 07:27:48 +02:00
..
applications	ProofGeneral: remove legacy version 4.3pre	2016-10-07 07:27:48 +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
test
tools	languagetool: fix eval	2016-10-05 17:04:50 +02:00
top-level	ProofGeneral: remove legacy version 4.3pre	2016-10-07 07:27:48 +02:00