mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
(cherry picked from commit 7d6da4d5624a4224ecc2a705f412893dd2797ef6) IJ-MR-153116 GitOrigin-RevId: cdff6100f72a348422e4b70838544f87a672347d