diff options
author | Ben Gamari <ben@smart-cactus.org> | 2022-08-15 14:09:50 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2022-08-15 14:33:05 -0400 |
commit | 4248704596d01753c9a776ebedf5cc598a883e28 (patch) | |
tree | 8882fe0438db271fc8d1a1f54f1637c09ace1e0b /hoogle-test/run | |
parent | f07a4059efcde05fd26b33a8c902930d3ad90379 (diff) |
doc: Fix a few minor ReST issues
Sphinx was complaining about too-short title underlines.
Diffstat (limited to 'hoogle-test/run')
0 files changed, 0 insertions, 0 deletions