mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
(cherry picked from commit 67592a9b22df895ad3b4d6fe37bda7172b5af863) IJ-CR-167129 GitOrigin-RevId: ca8bd87fa1e6a00730b3e8aa6cc1af6a9ea421a6