mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit 8101f4a14c0745c61d7c604eb7478be887aa2e0c) IJ-MR-20326 GitOrigin-RevId: 93edea4f0d0c1d6c69fb01a1c73aa28370377db4