diff options
| author | Théo Zimmermann | 2020-05-14 12:08:28 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-14 12:08:28 +0200 |
| commit | 6a9486eaa9a0de2af2f518cef09db7ea9afa9ab1 (patch) | |
| tree | d3db475add399de25ce3670d109f9a4534ffe86d | |
| parent | 1f3c93ff84eb74c17ae2bf859d884b4827dab280 (diff) | |
| parent | 9442039260ee16f5e17865815d6c6e9c66c1689b (diff) | |
| parent | 1d7da1993647115faabf71fc689c2a9861b810b7 (diff) | |
Refactoring of the first part of the reference manual.