mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit e262dd757e952cbd2a0cd6fba58f1448e96832b8) IJ-CR-157393 GitOrigin-RevId: accd075b0a899ca14c2b95381cd08317f433abb1