mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 07:20:53 +07:00
(cherry picked from commit 4218fcee6e17ab03e9aea136bc257c37a539a1df) (cherry picked from commit 91bb294944c12b1215e8ff4d2db610e1e5585c02) IJ-MR-175246 GitOrigin-RevId: 0b07fce6d913f5d3c0c2b3d9de83f33af0709523