[plugins] PluginDownloader::reportError simplified by using consumers
[idea/community.git] / python / src / META-INF /
drwxr-xr-x   ..
-rw-r--r-- 1590 command-line.xml
-rw-r--r-- 53476 python-core-common.xml
-rw-r--r-- 398 python-core-plugin.xml