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 /phpdoc.dist.xml | |
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 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions