Closed eidottermihi closed 6 months ago
Description
those can be removed, as they resulted from a bug in old versions of Eclipse (https://bugs.eclipse.org/bugs/show_bug.cgi?id=514769)
Reference
Issues #19
Description
those can be removed, as they resulted from a bug in old versions of Eclipse (https://bugs.eclipse.org/bugs/show_bug.cgi?id=514769)
Reference
Issues #19