mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 17:20:55 +07:00
(cherry picked from commit 5b62948bd8fb00ee6d36f6560727269dbc8f36b5) IJ-CR-149408 GitOrigin-RevId: 27fa2de566173534e248c9d2a15b55a3a282c7fe