mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 749ee08124716b36a172c2f0b125dcc384520533) IJ-CR-149884 GitOrigin-RevId: ed11d2f3785005eae39d9113bcf4fca09176a268