mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 2c42d875202ef69dc0c33447a1859e1941bae668) IJ-CR-151097 GitOrigin-RevId: 3a496497189b778ccc267db98503cc7eb5a11fa5