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