mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 14:37:45 +07:00
(cherry picked from commit 3906ef8306ce16cbec6de7479cbc4dd51b52d348) (approved in IJ-CR-184414) GitOrigin-RevId: 8d01a176667d3bd8494ffd81703343cbc940415f