mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 331988126e23268cc28bde35cf93bd15a43f5627) IJ-CR-147828 GitOrigin-RevId: 9ca19f89fd583227d46fcba7fcd38bdb0ea5baf1