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