mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-20 03:20:56 +07:00
(cherry picked from commit 1dacb2494e0a57e9e417544460f087038d23d2a6) IJ-MR-105099 GitOrigin-RevId: 5073649f309b9e0ddb9a688c9cad36a182e5ced7