aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorThéo Zimmermann2020-09-11 12:25:15 +0200
committerThéo Zimmermann2020-09-11 12:29:25 +0200
commit6abc0f4de27e4c0ecbbc7736388682abe21ebd7f (patch)
tree885abc171c9dcfe53ae92559ec594afbe57efcec /dev
parenta764c64bfe3d3c604931087459fb6f4ae727cbea (diff)
Minimal changes to make the refman compatible with Sphinx 3.
Co-authored-by: Jim Fehrle <jfehrle@sbcglobal.net>
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions