diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2021-08-06 22:47:50 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2021-08-06 22:47:50 +0200 |
| commit | 8e1259ba31f312024a6644c112f0e0f1bbd891f5 (patch) | |
| tree | 2535aef31d6a940005dee1fc95a8529b9f5eacc6 /.gitignore | |
| parent | f978c1dd0195c2157db25c9631fc3b7030c4f2c6 (diff) | |
Update for GHC 8.10
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions