diff options
| author | Clément Pit-Claudel | 2018-08-24 15:21:10 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2018-08-24 15:21:10 -0400 |
| commit | 56b355e9e3e0394625cc40084f7cf11a949ebb29 (patch) | |
| tree | 8cb7c80066ac1cb877041c988c9b897c0afa66ce /dev/include | |
| parent | 05d13bf516a75da38bacbb62608528f8dceb34fd (diff) | |
| parent | 7e706e0fe8a8fac88abc90bf476bcaf0f4b3fa76 (diff) | |
Merge PR #8266: Minor Sphinx improvements in the bullet documentation.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions