diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-04-20 23:14:11 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-04-20 23:14:11 +0200 |
commit | 181c02b60445310105be126fd6cc2ee9f5dc2c8a (patch) | |
tree | 829c304dce12f41cbd21355c92c93d961977f204 /.gitignore | |
parent | 2f5bf6144411c9e94b1ca013c1ef549ed06a5529 (diff) |
GHC 9.8 compatibility
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions