mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-16 14:23:28 +07:00
Fix compilation (cherry picked from commit 7f85ee5d77b18f8bda3c58303a32eb7dce501b45) IJ-MR-155667 GitOrigin-RevId: 7c8b37b9b8156a80480f5f4f48b7c6e9bbd51c2e