diff options
author | Sebastian Méric de Bellefon <arnaudpourseb@gmail.com> | 2016-06-06 20:26:30 -0400 |
---|---|---|
committer | Sebastian Méric de Bellefon <arnaudpourseb@gmail.com> | 2016-06-06 20:26:30 -0400 |
commit | d6529419df9ef6f48d20c0a2c8e0f974fb2deb03 (patch) | |
tree | b2efde46426a4f0174b83061a4d5c057c63e08b0 /doc/ghc.mk | |
parent | 8d47c8b733a0b9406d99a97c7eaeba3d6b51ec7c (diff) | |
parent | 7c60df10642d90d7205cb9c4296903b8de094029 (diff) |
Merge pull request #512 from phadej/oleg-fixes
Fixes for #508 and #510
Diffstat (limited to 'doc/ghc.mk')
0 files changed, 0 insertions, 0 deletions