mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 21:41:24 +07:00
(cherry picked from commit 75e7b3affb69553dac59d8213585baacdf2757db) IJ-CR-181641 GitOrigin-RevId: 05759af1a8067b34e3a1b14fa66fc1fd9534789b