mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
(cherry picked from commit b5ca959becdc8aaf82a2baac5bca6128fdef2b41) IJ-MR-112631 GitOrigin-RevId: f922fd60c3586b33dc26c1a1c69c50c8bd91cbb9