mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 13:31:28 +07:00
(cherry picked from commit 33631a09e4147e140ac1b40c1c9b9302c5e30b68) IJ-CR-172311 GitOrigin-RevId: ae02e6d81c8926a803ebb7ec0651058126c03182