mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-14 18:05:27 +07:00
(cherry picked from commit 412a840c71b6ab5155639300f6f3474743aacb69) IJ-MR-143425 GitOrigin-RevId: 97b995309acca92b2f339afff75d379e076cc8d9