projects / idea / community.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e5f32e7 1b5833c)
Merge of branch master of ssh://git@git.jetbrains.team/kt/kotlin-ide.git
authorDmitriy.Panov <Dmitriy.Panov@jetbrains.com>
Tue, 20 Apr 2021 03:49:41 +0000 (06:49 +0300)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Tue, 20 Apr 2021 03:49:41 +0000 (06:49 +0300)
GitOrigin-RevId: 5e468ba13768964ab4dd8c79d5499b8180c90aad


Trivial merge
IntelliJ IDEA Community Edition and IntelliJ Platform.