Théo Zimmermann 3370615a7f compcert: 3.0.1 -> 3.1 ... Note that the fix of the VERSION file can likely be removed at the next update.		2017-09-21 15:06:51 +02:00
..
applications	Merge pull request #29609 from lheckemann/impressive-fixes	2017-09-21 08:53:09 +01:00
build-support	cc-wrapper, cc-wrapper-old: Simplify shell logic	2017-09-19 16:45:24 -04:00
common-updater
data	Merge pull request #29596 from romildo/numix-icon-theme	2017-09-20 20:27:46 +00:00
desktops	Merge pull request #29332 from romildo/fix.gnome-shell-extensions	2017-09-17 11:00:46 +00:00
development	compcert: 3.0.1 -> 3.1	2017-09-21 15:06:51 +02:00
games	zandronum: fix soundfont support, minor cleanup	2017-09-15 23:08:47 -07:00
misc	Merge pull request #29560 from LumiGuide/elk-5.6.1	2017-09-20 21:56:26 +00:00
os-specific	linux: 4.13.2 -> 4.13.3	2017-09-20 08:36:27 -04:00
servers	Merge pull request #29560 from LumiGuide/elk-5.6.1	2017-09-20 21:56:26 +00:00
shells	grml-zsh-config: generalize support to unix systems	2017-09-01 11:38:38 +03:00
stdenv	stdenv: Add back leading '-' in cross derivation name suffix	2017-09-18 18:59:48 -04:00
test	treewide: Use *Platform.extensions	2017-09-13 11:16:10 -04:00
tools	Merge pull request #29560 from LumiGuide/elk-5.6.1	2017-09-20 21:56:26 +00:00
top-level	compcert: 3.0.1 -> 3.1	2017-09-21 15:06:51 +02:00