mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-26 19:06:24 +07:00
Update educational plugins names
This commit is contained in:
@@ -1,6 +1,6 @@
|
||||
<idea-plugin version="2">
|
||||
<id>com.jetbrains.python.edu.core</id>
|
||||
<name>Python-specific part for Stepic connector</name>
|
||||
<name>Python Educational utils plugin</name>
|
||||
<version>2.0.3</version>
|
||||
<idea-version since-build="143.403"/>
|
||||
<description><![CDATA[
|
||||
|
||||
Reference in New Issue
Block a user