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/NotepadPlus/5.x/userDefineLang.xml | |
parent | 891ed122447ca88938b150da9858d6d4c271d020 (diff) |
Disable coverage measurement for PHP 5.3 tests
In order to avoid segfaulting tests
Diffstat (limited to 'editors/NotepadPlus/5.x/userDefineLang.xml')
0 files changed, 0 insertions, 0 deletions