mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-09 16:39:37 +07:00
(cherry picked from commit f02c73ea73a915660388a65b3a30de2f3b13b2d8) (cherry picked from commit 575f4a13537f7dc0ab58eb485708a047c1eb78c9) IJ-MR-169535 GitOrigin-RevId: b876e505412cd2b75f7d3e53f006ec3cc91fd425