mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 15:09:39 +07:00
(cherry picked from commit 7cd9b8a1509865938bbbfeaa257b165c4cc38976, review IJ-CR-159008) GitOrigin-RevId: c6f4d35272c162d3e409c2a61b89730f3bffdd6c