mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit f54931279f65a9dbcd16c771217b16dfdee63934) IJ-MR-184663 GitOrigin-RevId: d56e15c4dacb22f474713cff8932fddee2d5e2b3