aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx
diff options
context:
space:
mode:
authorThéo Zimmermann2020-05-14 12:08:28 +0200
committerThéo Zimmermann2020-05-14 12:08:28 +0200
commit6a9486eaa9a0de2af2f518cef09db7ea9afa9ab1 (patch)
treed3db475add399de25ce3670d109f9a4534ffe86d /doc/sphinx
parent1f3c93ff84eb74c17ae2bf859d884b4827dab280 (diff)
parent9442039260ee16f5e17865815d6c6e9c66c1689b (diff)
parent1d7da1993647115faabf71fc689c2a9861b810b7 (diff)
Refactoring of the first part of the reference manual.