mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit 1b9d56a24d374ecc6c0e478fe3c5c894c217a456) IJ-CR-167533 GitOrigin-RevId: 968bc33eda3a12f7e853494b3084de2f2a1dbac8