mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-01 02:38:59 +07:00
(cherry picked from commit edeeec04fd2cd0a72e39884b7d1b9cd498e9feab) IDEA-CR-70495 GitOrigin-RevId: d0877d3fa5a97129e4c2de9e9510042e718c636e
12 KiB
12 KiB