diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-11-23 13:54:31 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2015-11-23 13:54:31 +0000 |
commit | 95e4362d9200b31f3f26fe8d2f97b5565e5ab7b3 (patch) | |
tree | 6c4a8d57f7b3eb740d849202ff2f730d97a6ea4f /doc/config.mk.in | |
parent | c091ca829c253dc7f12f3a816a083c39979130f1 (diff) | |
parent | fcd1bb7177a800f6f56a623c2468fc46a59c527b (diff) |
merge with origin/ghc-head
Diffstat (limited to 'doc/config.mk.in')
0 files changed, 0 insertions, 0 deletions