Skip to content

Add searchParticipant extension point for javaDerivedSource indexing - #4938

Merged
jjohnstn merged 1 commit into
eclipse-jdt:masterfrom
arcivanov:search-participant-extension-point
May 12, 2026
Merged

Add searchParticipant extension point for javaDerivedSource indexing#4938
jjohnstn merged 1 commit into
eclipse-jdt:masterfrom
arcivanov:search-participant-extension-point

Add derivedSourceSearchParticipant extension point for javaDerivedSou…

08c0f5e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-merge-commits / Block Merge Commits
succeeded May 12, 2026 in 14s