mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 10:20:15 +07:00
(cherry picked from commit 0108830cb741860d647863626b28f2baaabac53d) IJ-CR-139181 GitOrigin-RevId: adbe190cd155a3c343a10fd2f0fe904d86b3417e