EDU-525 Empty Editor shouldn't be replaced in educational plugins
[idea/community.git] / build.txt
1 144.SNAPSHOT