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