mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 18230af949275e3f585ce806fec25144731e347b) IJ-MR-158112 GitOrigin-RevId: 50ed312ca85b506cd1a8e8411b80548f81b56487