diff options
author | Andrey Andreev <narf@devilix.net> | 2018-08-22 13:44:51 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-22 13:44:51 +0200 |
commit | 9909aba2a41060cf230401e05fd7e8b0ab538ae3 (patch) | |
tree | 292cb29f424317553505238079e85b76bd6f5aae /phpdoc.dist.xml | |
parent | 09d50d254ded51a0bfe6ad7768af8c777b077fda (diff) | |
parent | 06907eb02dfd45eb50d6efc8ff7de3a61e70b5d8 (diff) |
[ci skip] Merge pull request #5570 from mfigueroa/patch-1
Fix grammar mistakes in cli.rst
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions