mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 9320c2e708afa2ddd025f60b0c122132387493b7) IJ-MR-10124 GitOrigin-RevId: 219e646482999e8b81b77aaf52eb24574381af3d