mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 21:41:24 +07:00
(cherry picked from commit 230341f728763bbd3dd07423d0222f5ad6ef25b8) IJ-CR-145937 GitOrigin-RevId: 3af2460e10d0b8552350a91a9e52948d115488b6