mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit bbe83739e3db7cd0b7a4b8842b6e5c1cbb8d1f32) IJ-CR-161068 GitOrigin-RevId: a25b07b6d494e07c5bc018f5a6922b9bb4ad7978