mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit 688a0f2ccefaa6f3f9b51c8528fa11e61d0798b0) (cherry picked from commit e7979c1d2177b555cf816a20bb76720703f2e84a) IJ-MR-169535 GitOrigin-RevId: 7cebb5b39a388c2c53e7f338f30669856bdd4c2a