summaryrefslogtreecommitdiffstats
path: root/.github/workflows
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2022-09-13 21:22:15 +0200
committertv <tv@krebsco.de>2022-09-13 21:22:41 +0200
commit5de8b8530cb436118db192d90824bc6efdfda18a (patch)
tree870c36ad8de849b39405188537a6355f876922e0 /.github/workflows
parent4005029bf6caa37d86490cb5d37dca1bc857909d (diff)
haskell overrides: admit old overrides
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions