mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 948f8885dd3ec8958ab495fb2e6506e5899759a4) (cherry picked from commit f7d2159f71bdb66460abc639b4a8f73093b1cde5) IJ-CR-147319 GitOrigin-RevId: 855755003147e51d3a4db4e42de2c6b8286ac9af