commit | ea7cacf16a5f8b9b1e1e87821a77667b29b4adb3 | [log] [tgz] |
---|---|---|
author | GianMaria Romanato <gm.romanato@gmail.com> | Sat Feb 04 15:42:44 2017 +0100 |
committer | GianMaria Romanato <gm.romanato@gmail.com> | Sat Feb 04 15:42:44 2017 +0100 |
tree | 7f9183cd8226049d95c18a88ad797aec9545e0bf | |
parent | 71be6bcd36372e999338953696150814f03626af [diff] |
#511687: ResourceException below ServerProject.deleteWorkspaceProject (thrown in Resource.delete) Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=511687