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 /latex-test/ref/TypeFamilies3 | |
| parent | f07a4059efcde05fd26b33a8c902930d3ad90379 (diff) | |
doc: Fix a few minor ReST issues
Sphinx was complaining about too-short title underlines.
Diffstat (limited to 'latex-test/ref/TypeFamilies3')
0 files changed, 0 insertions, 0 deletions