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