mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
(cherry picked from commit 349a7418275cd0db9ca4cede6fed7bb29159c45d) IJ-CR-157267 GitOrigin-RevId: 314f15e4e7b5ea8e2c4fbcbb05ad821fba26e23d