mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit a1c205f3d5fbabec1b606c82fa33aa1c5d12ef66) IJ-CR-152109 GitOrigin-RevId: 5cd6886bd3ed3e3fcb033947b07039d93b8214e9