| commit | f9668cfe3d7789009125d3d735e10102c428128d | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Mar 03 18:46:30 2011 +0000 |
| committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Thu Mar 03 18:46:30 2011 +0000 |
| tree | 8f347ca87f9c75c3eb6108037471830f20284bdc | |
| parent | d70bc6bc0a48cdef41850ff5aa979683522fd758 [diff] |
Fix for Bug 338840 - [ui] adapt to generified jdt.ui