mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit 73a38a0e3064bc9893aa7e62d5cec30a9bfca9bc) IJ-CR-174725 GitOrigin-RevId: 252428901be58a7ba0835bf3445ac5f93d37a8a6