mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
(cherry picked from commit e73f477e2424c4c103bfaa676cdf94098170d4b5) IJ-MR-151881 GitOrigin-RevId: 7a665d852d77554e00a51cce697940ebd5da538b