mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit c890ec6e8b15df1f629f3d1845e2c89b1e99ff81) IJ-MR-168364 GitOrigin-RevId: bcd94cc3ad5ea744ed3bc5c9571d61750022bf42