mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 8d24914155332f0ed5eb63814686e26da5d307aa) IJ-CR-192608 GitOrigin-RevId: 19e52e7bd8fde57b215b2a2c9abb70b2ad99c415