mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-12 13:40:19 +07:00
(cherry picked from commit 30e80f202d89acc6b4846caeba2a166e2675d899) IJ-CR-149323 GitOrigin-RevId: 8e57a8a4356dc6a3ba65706006dc0600e25a759e