mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit 95c7754c302d57f322476600527df766ab9d1ceb) IJ-CR-138667 GitOrigin-RevId: d67dc7ee643bcaa8bf0bb7f8337709654c1b1702