diff options
| author | tv <tv@krebsco.de> | 2021-08-03 15:37:15 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2021-08-03 15:37:15 +0200 |
| commit | 288051f52e65857a7946e65c5a454b8b35af981b (patch) | |
| tree | b88ca4b6571413ddc6a2c307fb3748e99293177f /.gitignore | |
| parent | 15e2dbff3d7c0420a483564396306fdd7f81896e (diff) | |
migrate to GHC 8.10
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions