Dmitry Savvinov 2d528c6396 [Platform API] Remove IdePlatform, use TargetPlatform instead

2019-05-28 13:08:07 +03:00

..

src/org/jetbrains/kotlin

[Platform API] Remove IdePlatform, use TargetPlatform instead

2019-05-28 13:08:07 +03:00

build.gradle.kts

Build: Embed projects not published to maven into kotlin-plugin.jar

2019-04-10 17:54:05 +03:00