mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-05 01:50:56 +07:00
(cherry picked from commit 0108830cb741860d647863626b28f2baaabac53d) IJ-CR-139181 GitOrigin-RevId: adbe190cd155a3c343a10fd2f0fe904d86b3417e