mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
(cherry picked from commit 2a423d0fbbf4524844c52189a6be4cf9f43f7407) IJ-CR-18590 GitOrigin-RevId: 33739b79cb8bc76c447d69080940985f431641dc