mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
(cherry picked from commit 2ae371ce70be9490ddb14b6981366e06a41ddb5d) IJ-MR-96284 GitOrigin-RevId: 832cadd71e1a0d47852e44854b2ead217342b7e4