diff options
| author | tv <tv@krebsco.de> | 2022-09-13 21:22:15 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2022-09-13 21:22:41 +0200 |
| commit | 5de8b8530cb436118db192d90824bc6efdfda18a (patch) | |
| tree | 870c36ad8de849b39405188537a6355f876922e0 /.github/workflows | |
| parent | 4005029bf6caa37d86490cb5d37dca1bc857909d (diff) | |
haskell overrides: admit old overrides
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions