diff options
| author | Andrey Andreev <narf@devilix.net> | 2018-06-01 15:51:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-01 15:51:18 +0200 |
| commit | 67cf9daa7857917dce389befd9605609f7e65bcf (patch) | |
| tree | 60c10587afbe8e85da25ab1c2fe600ac3a0d8d7d /user_guide_src/source/general | |
| parent | e837b9b8705c222d49f86ab051d2df717d986c5b (diff) | |
| parent | 652a81943d902add380dc3bd7ff891831ec62496 (diff) | |
[ci skip] Merge pull request #5491 from jim-parry/niggly-sphinx-fix
Fix sphinx warning message
Diffstat (limited to 'user_guide_src/source/general')
0 files changed, 0 insertions, 0 deletions