aboutsummaryrefslogtreecommitdiff
path: root/.arclint
diff options
context:
space:
mode:
authorHerbert Valerio Riedel <hvr@gnu.org>2018-02-05 10:05:36 +0100
committerHerbert Valerio Riedel <hvr@gnu.org>2018-02-05 10:05:42 +0100
commit9618091679cdbbcaac7622c0ff78f90a4fb58d83 (patch)
treee8a20d882912ce93142ba5147995fb0eba3ce30f /.arclint
parent45d7f6388b9badb0eccc64076288137736d5284e (diff)
try harder to build w/ GHC 8.4.1
Diffstat (limited to '.arclint')
0 files changed, 0 insertions, 0 deletions