mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
(cherry picked from commit 8c900895942ae71cd1aafc2937fd596db970512d) IJ-CR-185816 GitOrigin-RevId: b4d4466d878a6f78df3c6632d4c57f15fcbc62f9