mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit f301151302e212bffa06b678c469417a2555d38c) IJ-MR-157831 GitOrigin-RevId: 21b4e039fc29ec2dede7c06d318234234a5493a9