mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit 770bf3504351445a878d58a7f6547e144e3e907f) IJ-CR-19433 GitOrigin-RevId: 6814df679d6e1ddb9ae4f04951ccf944f1600e74