mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-07 05:09:37 +07:00
It can't be explicitly added to the `PythonLearningCourse` because Python course can exist without Jupyter plugin, for example, in PyCharm Community. GitOrigin-RevId: 89d30d38fe3a63fc6eec9fe6ff10ca1f4bdf9f6e