diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2022-04-22 23:50:59 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2022-04-22 23:50:59 +0200 |
| commit | 6080ed0182e65d9cd51b9a1d7209ff82a5e41fa5 (patch) | |
| tree | 89015f361fae6b8e7555ade239b6ff2179d24658 /.gitignore | |
| parent | 84a8967044dc5b8879033a07f5ba7940852510d9 (diff) | |
Only works from ghc 8.10 onwards
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions