mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 18230af949275e3f585ce806fec25144731e347b) IJ-MR-158112 GitOrigin-RevId: 50ed312ca85b506cd1a8e8411b80548f81b56487