mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
trunk is 142 / Idea 15 dev started
This commit is contained in:
@@ -4,7 +4,7 @@
|
||||
|
||||
<id>PythonCore</id>
|
||||
<name>Python Community Edition</name>
|
||||
<idea-version since-build="138.0" until-build="140.*"/>
|
||||
<idea-version since-build="138.0" until-build="143.0"/>
|
||||
|
||||
<description><![CDATA[
|
||||
The Python plug-in provides smart editing for Python scripts. The feature set of the plugin
|
||||
|
||||
Reference in New Issue
Block a user