EDU-525 Empty Editor shouldn't be replaced in educational plugins
[idea/community.git] / resources-en /
drwxr-xr-x   ..
-rw-r--r-- 7 icon-robots.txt
-rw-r--r-- 497 resources-en.iml
drwxr-xr-x - src