vbgl 70f2952ca6 Merge pull request #8491 from vbgl/compcert-2.5 ... compcert: 2.4 -> 2.5		2015-08-26 16:16:58 +02:00
..
applications	Merge pull request #9231 from Bevaz/qemu	2015-08-26 14:08:27 +02:00
build-support	Merge branch 'staging'	2015-08-25 14:14:54 +02:00
data	pecita: 5.0 -> 5.1	2015-08-25 16:36:43 +02:00
desktops	gnome-contacts: fix evaluation	2015-08-26 07:57:57 +02:00
development	Merge pull request #8491 from vbgl/compcert-2.5	2015-08-26 16:16:58 +02:00
games	micropolis: fix patch hash, probably updated	2015-08-24 08:23:44 +02:00
misc	Merge branch 'staging'	2015-08-25 14:14:54 +02:00
os-specific	Merge branch 'staging'	2015-08-25 14:14:54 +02:00
servers	Merge pull request #9376 from rick68/softether	2015-08-26 10:45:46 +02:00
shells	add binutils to bash build for size	2015-08-12 11:27:54 -07:00
stdenv	Merge branch 'master.upstream' into staging.upstream	2015-08-19 20:52:17 -07:00
test
tools	openvpn: 2.3.6 -> 2.3.8	2015-08-26 13:00:23 +02:00
top-level	Merge pull request #8491 from vbgl/compcert-2.5	2015-08-26 16:16:58 +02:00