mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-05-13 08:40:08 +07:00
Conflicts: python/educational-core/src/com/jetbrains/edu/learning/EduPluginConfigurator.java python/educational-python/Edu-Python/src/com/jetbrains/edu/learning/PyEduPluginConfigurator.java