Community
Participate
Working Groups
Not important but why should be keep dead files.
Fabian, please provide a Gerrit for the repos you already have cloned.
(In reply to Lars Vogel from comment #1) > Fabian, please provide a Gerrit for the repos you already have cloned. Ping
New Gerrit change created: https://git.eclipse.org/r/122878
Removed the one occurrence I found. Not SDK relevant change, so I hope it is fine to commit it.
Gerrit change https://git.eclipse.org/r/122878 was merged to [master]. Commit: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=f34b4099c8d1bfae1f57921c3f63447dd89e4736