mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 06:59:44 +07:00
(cherry picked from commit 6b29ba37fb1a74af33bbbf78fb4d353bb1f76a60) (cherry picked from commit 7e6df0a65da053bbc2aea9bdc08017565cfb5c8c) IJ-CR-155171 GitOrigin-RevId: c4bc63da9d5e7d0457376bfaa4380cde59ab54d1