mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 22:09:38 +07:00
The code changes add the frontend customization module for Remote Idea Edu. This includes the creation of new configuration files, reorganization of certain modules, and updates to the plugin descriptions. The changes will allow for specific customizations in the frontend variant of Remote Idea Edu. IJ-MR-137840 GitOrigin-RevId: 28171386ef01281bdde3ece01b1e0e701272d1ab