commit | bea1ae76d13cfcaf3432e7c808b690afd557859c | [log] [tgz] |
---|---|---|
author | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Dec 04 18:32:21 2012 +0100 |
committer | Stephan Herrmann <stephan@cs.tu-berlin.de> | Tue Dec 04 18:32:21 2012 +0100 |
tree | a2cdd05159170c8f30a249baa783e53d7fe332da | |
parent | 9dc8e8860b9fa7710f42a7c1f6addb11bf2f4922 [diff] |
Adopt JDT/UI change for bug 391927 via their commit a9d28d0d237966d409e0e603033f3ce8cddb5d35 (Method safeDelete has been removed and isn't needed actually).