mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
(cherry picked from commit 7c5d342aa393af6c0689605c13b7c99fc11fe730) IJ-CR-180896 GitOrigin-RevId: 46a3fdacda142886cbc82bb3fd89d9a7d4b83710