mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 5d96d51f28b0e63c660b56843245f40a1603355e) (cherry picked from commit 2f43f1000ec5b565f6390a6e00388a2836300539) IJ-CR-148445 GitOrigin-RevId: 9802819a1282435cdde7677313a5d57a5f3c0d01