SuccessChanges

Summary

  1. [NONE] Fix unzip and clean-up w.r.t. newer Eclipse version. (details)
Commit 405af59657d7f075676c716f3b191ca0e901c988 by mwienand
[NONE] Fix unzip and clean-up w.r.t. newer Eclipse version.
The file was modifiedorg.eclipse.gef.repository/publish.sh (diff)