mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 095dda3c4f916d8738880dfcf5d2ba0c51ad558b) IJ-CR-152316 GitOrigin-RevId: 06f03a4a514385f18c33fbb96f885f20263ca9b0