mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
(cherry picked from commit 839e4aac1d72dcf2c57af66b69a06268cff19050) IJ-MR-139749 GitOrigin-RevId: 7eecd813750d4e014ec691d764fe31eaa0c0d564