mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-17 07:20:53 +07:00
(cherry picked from commit 221bc968ac715e8afa45837f90a78e63195007f7) IJ-CR-166601 GitOrigin-RevId: cff9f98bd6de1b1c8e7e1455ec9e334bde1af450