mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit 192037de79ffdd9e547c9cb464b8b030134ac1b2) IJ-MR-166948 GitOrigin-RevId: 6a8b80ce5a34a447ce57a24e99ebe42bbe73a6db