mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit 02f044c58f387be077b5d300bf85e6ddb6bab3f8) IDEA-CR-68767 GitOrigin-RevId: 473c9df2a4a35accf317a0194d5b671ee8de97f1