mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
(cherry picked from commit 649c29e494cca3adeda229bbc5fc69fde9513583) IJ-CR-176469 GitOrigin-RevId: 08498b0c4144f8e7703d66571447d369f5f219ff