mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit 8a21d9da253a77b6d661e6a2eeb677f60c880126) IJ-CR-16014 GitOrigin-RevId: 229526a3c4ff6a4f1d07d6e5816412179b3c8dba