diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:37:24 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:37:24 -0500 |
commit | c577da9cf5c531a3e5678760823c61db8a3adeb6 (patch) | |
tree | 52d1b381c2a0160c82f9f662915a46b78bf9a159 /haddock-api/src/Haddock/Options.hs | |
parent | 4c6b8d4bb722b6e51406aa0afc334cc437461424 (diff) | |
parent | 46c3db2460cea396fae525f4b9d8f40c34c0680e (diff) |
Merge remote-tracking branch 'upstream/ghc-head' into ghc-head
Diffstat (limited to 'haddock-api/src/Haddock/Options.hs')
0 files changed, 0 insertions, 0 deletions