mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit 8fa97502edc086a7cd22e17f41154b8ce5816a55) (cherry picked from commit f888a11dc7dbc238a01a043d995d1034c151c292) IJ-MR-154004 GitOrigin-RevId: 073e381117e6a44f8b5ea38a314d618ad9592854