Skip to content

Exclude org.eclipse.jdt.annotation_v1 from workspace in JDT.setup#124

Merged
stephan-herrmann merged 1 commit intoeclipse-jdt:masterfrom merks:pr-setup-exclude-annotation_v1Dec 8, 2024
+1-1

Commits

Commits on Dec 7, 2024