mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 7a61704659a1ef3d011ff222d5aa823272eb14e7) IJ-MR-170415 GitOrigin-RevId: 0c885b3629b996152ac587d99cfba3794c77392b