mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 6c7b7823574c3babf1e98f6932f6c209f24b67b2) Review: IJ-CR-176981 GitOrigin-RevId: 217fbc54b795d2378aafebf9e3c41c9b534ce5b8