mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 0160800e29a630657b068f71894fef984eb8e5c9) IJ-CR-148150 GitOrigin-RevId: da5a6e3ad423934657d8a163632564a0ab95095e