mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 22:51:17 +07:00
(cherry picked from commit 7be077c9a1a6b7fade1833689567b5947e2c77de) IJ-CR-168171 GitOrigin-RevId: 01c5b38d7e028585b94d1596c0de8c7c323a2fa3