diff options
author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-07 18:43:19 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-07 18:43:19 +0100 |
commit | a30ebe591c862bcaac321ce9a5c03fa2ce56729e (patch) | |
tree | 883ee3f8c0e195299925b790cba6f88a537200f6 /haddock-api/src/Haddock/Options.hs | |
parent | 0f7ff041fb824653a7930e1292b81f34df1e967d (diff) | |
parent | 786d3e69799398c3aac26fbd5017a127bc69cacc (diff) |
Merge pull request #1321 from Kleidukos/ghc-9.0
Merge ghc-9.0 into ghc-head
Diffstat (limited to 'haddock-api/src/Haddock/Options.hs')
0 files changed, 0 insertions, 0 deletions