| commit | 04fe3c55da6205c9a3bc2c36a3d7924c72642552 | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue May 31 23:45:19 2016 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Tue May 31 23:45:19 2016 +0200 |
| tree | f9e350e4b29a023af0d6c6b267bac5c0a7206780 | |
| parent | 2897098a193d14d6130ac17aa7e972892bdcd524 [diff] |
Bug 494839: Support "configure problem severity" from problem hover - dispatch using a new team - refresh OTCompilerPreferencePage from orig