mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 04:51:24 +07:00
(cherry picked from commit ab9b688a7463b61ca262ec679781fb314ed74e8e) IJ-CR-175817 GitOrigin-RevId: 1a60bc32362d143ff99b6cf71f7d2d28bef5c02c