Vladimír Čunát 6c2fbfbd77 Merge branch 'master' into staging		2016-05-12 04:53:38 +02:00
..
applications	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
build-support	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
data	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
desktops	kdewebkit: removed	2016-05-10 20:09:55 -05:00
development	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
games	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
misc	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
os-specific	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
servers	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
shells	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
stdenv	stdenv setup.sh: revert most of changes around #14907	2016-05-12 04:53:37 +02:00
test
tools	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00
top-level	Merge branch 'master' into staging	2016-05-12 04:53:38 +02:00