mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
(cherry picked from commit 85f62aa3d47ecba6dc1753d25e6f701092b947da) (cherry picked from commit 24244c69716c4ab6f895b82489f960912f1777fb) IJ-MR-155570 GitOrigin-RevId: e7e4b7c38fbd73d27524c25ab48aec79d886b381