mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-13 15:52:01 +07:00
This is needed for consistency with the naming scheme: the parts used inside a separate frontend process only should be named '*.frontend.split'. GitOrigin-RevId: e6b8489f4ec7337f5e1186590d2814c4a446d77f