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