mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 09:03:31 +07:00
(cherry picked from commit 6086adcb53a7ca979ab92a56fabf099c94371204) IJ-CR-162639 GitOrigin-RevId: 882e080f3e9df5a8257b8bfb5303dbb9f1d3602b