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 /doc/markup.rst | |
parent | 45d7f6388b9badb0eccc64076288137736d5284e (diff) |
try harder to build w/ GHC 8.4.1
Diffstat (limited to 'doc/markup.rst')
0 files changed, 0 insertions, 0 deletions