diff options
| author | Tom Smeding <tom.smeding@gmail.com> | 2020-05-22 22:10:29 +0200 |
|---|---|---|
| committer | Tom Smeding <tom.smeding@gmail.com> | 2020-05-22 22:10:29 +0200 |
| commit | 8eb30e233b1f2627fcb4b1d59f6473efc19dfedd (patch) | |
| tree | 1e5d9d7834894e2933e244abaeb0b0b4659d53a2 /.gitignore | |
| parent | 8a3653d8f30f7d0f79556f464ea781472a931b2e (diff) | |
Support newer GHC
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions