mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
(cherry picked from commit 5c618308d630306f3f76b895ccdd129187501745) IJ-CR-166100 GitOrigin-RevId: 38b88f0c3b1056dead7a2e18bca1e0c5ea771f1b