summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorDavid <ottodavid@gmx.net>2014-08-05 22:44:51 +0200
committerDavid <ottodavid@gmx.net>2014-08-22 12:41:58 +0200
commit189f927ff3dfe8dfa0adb62a66ab240e84c8eb54 (patch)
tree13c8c79947484bf3e0c72656555b44432004a7bc /docs
parent6d626d0626bd0a0fe7053d09af5196f2ff796a07 (diff)
Disable coverage measurement for PHP 5.3 tests
In order to avoid segfaulting tests (cherry picked from commit b682cf8ede7f60d770d39b1d48e6f15fd796774b)
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions