mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit a423dc858b89cb8910f771fda7a3480d3a726ca5) IJ-MR-172503 GitOrigin-RevId: ec33e71fc5adc78be4f133a177903381c7e45099