mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
IJ-CR-194679 (cherry picked from commit e7fed949dab6c28a2ddb31beb92a6158e3962569) IJ-CR-194679 GitOrigin-RevId: 1c7bd1cee637a5bfc92d002ccb3de6b4670b8954