mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 13:39:36 +07:00
(cherry picked from commit 0160800e29a630657b068f71894fef984eb8e5c9) IJ-CR-148150 GitOrigin-RevId: da5a6e3ad423934657d8a163632564a0ab95095e