Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Delete large number of files that duplicate files in jdt.core.manipulations #2946

Closed
robstryker opened this issue Nov 6, 2023 · 1 comment · Fixed by #2947
Closed

Delete large number of files that duplicate files in jdt.core.manipulations #2946

robstryker opened this issue Nov 6, 2023 · 1 comment · Fixed by #2947
Assignees

Comments

@robstryker
Copy link
Contributor

No description provided.

@rgrunber rgrunber added this to the End November 2023 milestone Nov 7, 2023
@rgrunber rgrunber removed this from the End November 2023 milestone Nov 13, 2023
@rgrunber
Copy link
Contributor

This is delayed until 4.31 M1 (the week after Dec 6) since eclipse-jdt/eclipse.jdt.ui#914 won't be making it into RC1.

@rgrunber rgrunber added this to the End December 2023 milestone Dec 6, 2023
rgrunber pushed a commit that referenced this issue Dec 8, 2023
- Fixes #2946

Signed-off-by: Rob Stryker <rob@oxbeef.net>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants