mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 06:50:54 +07:00
This improves type safety and will make it easier to include product code in the build number (this will be needed for RDCT-235). (Changes in spaceport were reviewed in IJ-MR-145468.) GitOrigin-RevId: 1a2137f0f0b1861fdba6df1bda60ebc2ddf2884d