mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
(cherry picked from commit 158c9b96336a5a8da2234c26d79ce0de1e05a93e) (cherry picked from commit 3726b5d0845fc214e9986f4305e33f472af7a273) IJ-MR-169535 GitOrigin-RevId: a1551d0bec3da3367e4b3299bb871f8187213edb