diff options
author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-02-22 11:54:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-02-22 11:54:58 +0100 |
commit | c77327991c3aed520d9d779ee6cab4b7b506fdea (patch) | |
tree | 11a344ef98d7f0b8f51ba7297bc6e574bebcbbef /html-test/ref/Bug1.html | |
parent | a82ad674def0e62218076d91ea24ad978ccfed9f (diff) | |
parent | af46d073aa254bdede248fa8d2f5deb412968317 (diff) |
Merge pull request #1345 from Kleidukos/head/fix-interface-imports
[ghc-head] Clean-up of Interface and Interface.Create's imports and pragmata
Diffstat (limited to 'html-test/ref/Bug1.html')
0 files changed, 0 insertions, 0 deletions