| commit | 3603ea0087a535cd04d261f6fa9aa49783c5f42c | [log] [tgz] |
|---|---|---|
| author | mjger <michael.oberlehner@jku.at> | Mon Mar 08 13:50:07 2021 +0100 |
| committer | Alois Zoitl <alois.zoitl@gmx.at> | Thu Mar 11 13:47:15 2021 -0500 |
| tree | f786983e6d373816b42b2f70112a6dd09471032d | |
| parent | 54f390776643dcbe6f93ae2171d4518810ef8dd8 [diff] |
[571092] Remove duplicate Type names in the type explorer Also after the rename refactoring the type name is checked. Bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=571092 Change-Id: I81b5f06a3d028103b45f90fa948da3a4cf382508 Signed-off-by: mjger<michael.oberlehner@jku.at>