mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 06:11:42 +07:00
(cherry picked from commit 0f9b0d2f8ae0cf240b80ac5264413191d3c1ce32) IJ-CR-179523 GitOrigin-RevId: c21bec064dbc4fc65115ea81f31f10b0a848426e