mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit 33933900541578ab3be434976d55136610c82991) (cherry picked from commit 1ca2a6bcf53c84b1c30af9966b550ee9be52bdc6) IJ-CR-148445 GitOrigin-RevId: a4b16470ab006d374e9174e6baa750a620d48497