aboutsummaryrefslogtreecommitdiff
path: root/latex-test/src/GadtConstructorArgs
diff options
context:
space:
mode:
authorHécate Moonlight <Kleidukos@users.noreply.github.com>2021-12-17 17:28:48 +0100
committerGitHub <noreply@github.com>2021-12-17 17:28:48 +0100
commitcbc9cd0193944d54b326a6e87575ceb7afc98bc7 (patch)
treeaf0a86b5c5f154a9edff19f1b5c8d5597abef14f /latex-test/src/GadtConstructorArgs
parentc2dc73cfed35357a637d67dfa64885afeada9f20 (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 'latex-test/src/GadtConstructorArgs')
0 files changed, 0 insertions, 0 deletions