mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-15 20:26:04 +07:00
(cherry picked from commit 734b1b90585b21d702dbe3b3fcf6a249ab0a4f62) IJ-CR-155990 GitOrigin-RevId: c82898d5c8d7223d7ee517759af7697cea2a5d36