MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

New build for Python community plugin

Browse Source
This commit is contained in:
Dmitry Trofimov
2015-06-18 12:51:39 +02:00
parent 845ad7c14a
commit 04d9009dd4
5 changed files with 21 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/pluginResources/META-INF/plugin.xml
+1 -1
View File
@@ -4,7 +4,7 @@
<id>PythonCore</id>
<name>Python Community Edition</name>
<idea-version since-build="138.0" until-build="143.0"/>
<idea-version since-build="SNAPSHOT"/>
<description><![CDATA[
The Python plug-in provides smart editing for Python scripts. The feature set of the plugin