Fix unified diff code mining cleanup and overlays - #3056

Fix unified diff code mining cleanup and overlays#3056

tobiasmelcher merged 1 commit into

eclipse-platform:mastereclipse-platform/eclipse.platform:masterfrom

tobiasmelcher:d031119/unified-diff-mining-cleanuptobiasmelcher/eclipse.platform:d031119/unified-diff-mining-cleanupCopy head branch name to clipboard