mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-06 01:06:54 +07:00
(cherry picked from commit 8123c748df12a15c4a30460057ac593c339cf6d8) IJ-MR-15000 GitOrigin-RevId: faeeae06715ebed84111008581a2926b877f97f0