mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit a47d1639ed6cec290b99543055f7ff98186a3925) IJ-MR-159516 GitOrigin-RevId: 743b224e192c8bb6b82402e071292ab9a78e7b9f