commit | ae7ca9ba369937898badeb01eee2bea0ba9b5bbc | [log] [tgz] |
---|---|---|
author | Patrick Tessier <Patrick.Tessier@cea.fr> | Tue Apr 17 08:35:27 2018 -0400 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Tue Apr 17 08:35:27 2018 -0400 |
tree | 9db5afaf8fce803a34a8afb6705351244faa4541 | |
parent | ab72f706852aaeba38bb246c6d65a175f47239d1 [diff] | |
parent | 8c5716e4b769ca530b59ba4d854a479fb1770819 [diff] |
Merge "Bug 533320: not possible to rename Package elements https://bugs.eclipse.org/bugs/show_bug.cgi?id=533320"