mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 1e06c0538bdfca0cfae5f1aea175304e135aba05) IJ-MR-117880 GitOrigin-RevId: 5bf12677a6c31eb88ce135301d7f17e8361eafb5