mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit 085476a33ffbc30779cc476507db0ba1c123e88c) IJ-CR-132751 GitOrigin-RevId: 1acf07f6d9d7ec82066e3039f86a860cbfe7fca9