mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
(cherry picked from commit 05db5b509fee358a5f3c74ebe9ea871b8ea4a19c) IJ-CR-159237 GitOrigin-RevId: acae00f0c3029f05a922904a8e5434e719acebb1