mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit fc672374ce0c379eb16d0c027132f262b6aed55f) (cherry picked from commit 577c84278c86e0147c62d6ebc2e2f26295f37c37) IJ-MR-182987 GitOrigin-RevId: a2628c0114f2862ec1752811e1bcf9d9644b86c7