diff options
author | Andrey Andreev <narf@devilix.net> | 2019-06-02 04:17:06 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-02 04:17:06 +0200 |
commit | 9ffd233ba6b890ff034e985d1d87969c8dc755a7 (patch) | |
tree | efb9ef7ca0f452ff4800a9a1eeb722a2d2e5719b /phpdoc.dist.xml | |
parent | 30265bcf958337231d032ae1d403493a29379956 (diff) | |
parent | 2eff8a25cc06f35ae8a5e5efebfc7fa739ed7fae (diff) |
[ci skip] Merge pull request #5756 from bckcmo/develop
Fixed broken 'Send a pull request' link and added links to official G…
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions