mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit fc672374ce0c379eb16d0c027132f262b6aed55f) (cherry picked from commit 577c84278c86e0147c62d6ebc2e2f26295f37c37) IJ-MR-182987 GitOrigin-RevId: 4bd27e20281444c10f0090c90f07e9bd20ed82e4