mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
(cherry picked from commit 958fd7de1db0607b39fae7a7bfe9710b9aece91c) IJ-MR-130767 GitOrigin-RevId: 5c13abd6f386123a50c18130582fed7c076afb04