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 /extensions/gui | |
| parent | 5c29d9a8ff3db169a7b65ac6ccb619a984697533 (diff) | |
make the error-grep case-insensitive (to allow "ERROR:")
svn path=/trunk/; revision=10321
Diffstat (limited to 'extensions/gui')
0 files changed, 0 insertions, 0 deletions