mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 9ac21f8ed758452db4d99d834a96bdb580bec179) IJ-MR-155570 GitOrigin-RevId: 52329d0012d93cc4c05ba2a4ce1053a7d6cc2e88