mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-08-26 15:27:45 +07:00
(cherry picked from commit 64d9931ee762c8ac801114e22952f3086235467a) IJ-MR-182362 GitOrigin-RevId: bcf515ae4f73cd3d44dc81a54c1acd1fbfb33c18