mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-13 06:07:04 +07:00
Also: report every incompatible parameter, not only the first one Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only) GitOrigin-RevId: a9d75a78207d0910f0bcbb6060e38acedc3f07d3