mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
Initial implementation (cherry picked from commit 79cd937a9e7b8157775f1b777b9377fb338c25ae) IJ-MR-170885 GitOrigin-RevId: edfbf09c14724d2d69b2f3cbbcb05ce8c464fcf4