diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-05-16 19:58:51 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-16 19:58:51 +0200 |
commit | e82d093a9b3fb68486920896a3d67d84a822cbc5 (patch) | |
tree | e077d4952029c647e73ea51d481c4d7cc29feb34 /haddock-api/src/Haddock/Backends/Xhtml | |
parent | 1bfcca3f2212e1f8e527ad3a2c4bb48aef082ff9 (diff) | |
parent | d100c8f38e8ee6c7e6ba291afbf2c9eaf4f7743d (diff) |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'haddock-api/src/Haddock/Backends/Xhtml')
0 files changed, 0 insertions, 0 deletions