diff options
author | defanor <defanor@uberspace.net> | 2017-11-08 13:35:19 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-11-08 13:35:19 +0300 |
commit | 0c8ab2ac62c220073a67843612df12f242621062 (patch) | |
tree | 3b65512e60ac64e1e0231d53382ad55cdc20502c /Pancake/Configuration.hs | |
parent | 65598e789be5db363e16efcbd5c5337b68c739c1 (diff) |
Do not underline headings
Diffstat (limited to 'Pancake/Configuration.hs')
0 files changed, 0 insertions, 0 deletions