mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-01 09:04:15 +07:00
(cherry picked from commit fe51bcfc027b843fc4ed000d1369a8cb4f16d2b0) IJ-CR-178555 GitOrigin-RevId: 5fa08667c909514c99c95f46fc290cb75a5e9069