commit | 70eff36bc1543b580228893c8bb08a3616653a49 | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jun 19 13:06:33 2011 +0000 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Sun Jun 19 13:06:33 2011 +0000 |
tree | 430befddc88b36d5fbc86ba5499ff575bf654567 | |
parent | 8b24477f117e4ba8a4f6a521a6ba73581fbb74e8 [diff] |
remove obsolete workaround and specify what JDT/Core version resolved the issue.