mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-04 23:39:07 +07:00
(cherry picked from commit e3ae87c137ffca6bfa3bc51ecd2fdbc42a5dc8d0) IJ-CR-12956 GitOrigin-RevId: b410ce15e507b644c8117d8463815705fc83ba5f