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