diff options
| author | Clément Pit-Claudel | 2018-08-28 12:03:05 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-08-28 12:03:05 -0400 |
| commit | 7e614ee91a9e5f67bab7dce0ff64dcae9a2a2419 (patch) | |
| tree | 96fc21d35a3eb3712f6fd4add823e76c98bbc0d4 /dev | |
| parent | a57891211e578605f6cb7e05f5fdadd7de49e519 (diff) | |
| parent | 53eb027a6b9e1c3322db1750e613470e07407a81 (diff) | |
Merge PR #8281: Trivial Sphinx fix in doc.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions