mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 07:20:53 +07:00
(cherry picked from commit 7699f7ed417a4c73bf9b18093c31c8950f9a1192) IJ-MR-183564 GitOrigin-RevId: 7edbe174f2ff067761799baf1ed60bcf509f2eff