mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 6bc936ee3dd849db2db187b03edac58f4c9b2c73) (cherry picked from commit 18853b7d75a40f6a8761489a5655602be915a1ba) IJ-MR-169535 GitOrigin-RevId: 058ac27f8f0ef5c605c962e596711dafb1eeb5fc