mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-04 08:51:02 +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