mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
Show the splash screen from the 23th of May until the 30th. (cherry picked from commit fdfd1bab65547057a85c137184bcffad964380d9) IJ-MR-159193 GitOrigin-RevId: c1a6b49083a7f38d0cd5e157d413eb67fb76785b