summaryrefslogtreecommitdiffstats
path: root/phpdoc.dist.xml
diff options
context:
space:
mode:
authorAndrey Andreev <narf@devilix.net>2016-11-21 10:56:21 +0100
committerAndrey Andreev <narf@devilix.net>2016-11-21 10:56:21 +0100
commit7622ec6b06221b767c6e99251fb8f0f881e48c8f (patch)
treeb38ce4205eb13f8f9f037de8c654d0ecf048049a /phpdoc.dist.xml
parent2c9fa80e413388fa68fecfcf8120d6161f1920d6 (diff)
[ci skip] Specify sphinxcontrib-phpdomain 0.1.3.post1 version
Our Sphinx dependencies suck
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions