mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 7405a3177cbe4c4dc7202ce6eddcb0c289739437) IJ-CR-147422 GitOrigin-RevId: 03582ba3d0ed899afcfaa4e993899f21d9897f56