diff options
author | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2008-10-02 17:59:51 +0000 |
---|---|---|
committer | IOhannes m zmölnig <zmoelnig@users.sourceforge.net> | 2008-10-02 17:59:51 +0000 |
commit | ed9a6374c1b6b7a456855ad18ac70f4dadf46839 (patch) | |
tree | ac780ab185ef761259e3b8a54d611a3899d90a44 /externals/sprinkler | |
parent | 5c29d9a8ff3db169a7b65ac6ccb619a984697533 (diff) |
make the error-grep case-insensitive (to allow "ERROR:")
svn path=/trunk/; revision=10321
Diffstat (limited to 'externals/sprinkler')
0 files changed, 0 insertions, 0 deletions