diff options
| author | David <ottodavid@gmx.net> | 2014-08-05 22:44:51 +0200 |
|---|---|---|
| committer | David <ottodavid@gmx.net> | 2014-08-05 23:39:15 +0200 |
| commit | b682cf8ede7f60d770d39b1d48e6f15fd796774b (patch) | |
| tree | 8903d4d394beb472912d209a1e78a7ad20e7d2c2 /editors/InType | |
| parent | 891ed122447ca88938b150da9858d6d4c271d020 (diff) | |
Disable coverage measurement for PHP 5.3 tests
In order to avoid segfaulting tests
Diffstat (limited to 'editors/InType')
0 files changed, 0 insertions, 0 deletions