diff options
author | Tom Smeding <tom@tomsmeding.com> | 2023-02-14 20:59:37 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2023-02-14 20:59:37 +0100 |
commit | dd557059a4388435e7033da87ae21ec15efbdb15 (patch) | |
tree | 5b75a8e727de6b7ed0f57b1a754eee4e1d00f5d4 /.gitignore | |
parent | 68f3d87a106002f9e46f5cb57c7f83048040dc5e (diff) |
Long ghc diagnostics are long, need to read them whole
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions