diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2018-02-05 10:05:36 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2018-02-05 10:05:42 +0100 |
| commit | 9618091679cdbbcaac7622c0ff78f90a4fb58d83 (patch) | |
| tree | e8a20d882912ce93142ba5147995fb0eba3ce30f /.ghci | |
| parent | 45d7f6388b9badb0eccc64076288137736d5284e (diff) | |
try harder to build w/ GHC 8.4.1
Diffstat (limited to '.ghci')
0 files changed, 0 insertions, 0 deletions