mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
IDEA-CR-68655 IDEA-253624 (cherry picked from commit d95ef417b4e5f95b74b36bdb4c60d7e88157a540) IDEA-CR-68655 GitOrigin-RevId: 80b4730477e07a156d770fb7c0e6beb3dc2cd415