mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
(cherry picked from commit 3050cff685ab8533f631d58cfb57032617381806) IJ-CR-179022 GitOrigin-RevId: 2398fff110656cf3cb6fa1d719c3baf115f9b622