EDU-525 Empty Editor shouldn't be replaced in educational plugins
[idea/community.git] / python / educational-python / src / META-INF /
drwxr-xr-x   ..
-rw-r--r-- 6426 IdeTipsAndTricks.xml
-rw-r--r-- 1538 PyCharmEduPlugin.xml