mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 23:31:05 +07:00
(cherry picked from commit 67f798c44f0ce5cc3effdc452750ffee9d18bc5f) (cherry picked from commit 6cb9a806ad46f4e855c9fa3caa14ec1eee9f91a8) IJ-CR-147319 GitOrigin-RevId: 507e62dcf37fa46e5dfb2cb4f0249cec0a2cb054