Robin Gloster f86c5bc6fa ghcHEAD: remove included patch

2016-08-28 14:03:12 +00:00

..

applications

Merge branch 'master' into staging

2016-08-28 14:48:02 +01:00

build-support

Merge remote-tracking branch 'origin/master' into hardened-stdenv

2016-08-24 11:01:53 +02:00

data

source-code-pro: 2.010 -> 2.030

2016-08-27 10:41:36 +02:00

desktops

Merge branch 'master' into staging

2016-08-28 12:20:59 +01:00

development

ghcHEAD: remove included patch

2016-08-28 14:03:12 +00:00

games

Merge branch 'master' into staging

2016-08-28 12:20:59 +01:00

misc

Merge branch 'master' into staging

2016-08-27 23:54:54 +01:00

os-specific

Merge branch 'master' into staging

2016-08-27 23:54:54 +01:00

servers

Merge branch 'master' into staging

2016-08-27 23:54:54 +01:00

shells

Merge branch 'master' into staging

2016-08-27 23:54:54 +01:00

stdenv

Merge branch 'master' into staging

2016-08-27 23:54:54 +01:00

test

…

tools

evemu: remove obsolete substituteInPlace and use autoreconfHook

2016-08-28 14:02:22 +00:00

top-level

Merge branch 'master' into staging

2016-08-28 14:48:02 +01:00