diff options
author | Hécate Moonlight <Kleidukos@users.noreply.github.com> | 2021-12-17 17:28:48 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-17 17:28:48 +0100 |
commit | cbc9cd0193944d54b326a6e87575ceb7afc98bc7 (patch) | |
tree | af0a86b5c5f154a9edff19f1b5c8d5597abef14f /html-test/ref/Bug195.html | |
parent | c2dc73cfed35357a637d67dfa64885afeada9f20 (diff) |
Remove ghc-head workflow (#1446)
Contributions of GHC glue code are now done on the GHC gitlab, not in the GitHub repo anymore.
Diffstat (limited to 'html-test/ref/Bug195.html')
0 files changed, 0 insertions, 0 deletions