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 /resources/html/Ocean.std-theme | |
| 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 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions