Merge branch 'master' of https://github.com/michaelsiepmann/intellij-community into...
authorpeter <peter@jetbrains.com>
Tue, 24 Jul 2018 10:25:46 +0000 (12:25 +0200)
committerpeter <peter@jetbrains.com>
Tue, 24 Jul 2018 10:25:46 +0000 (12:25 +0200)
1  2 
platform/platform-resources/src/META-INF/LangExtensions.xml