PluginReplacement: fix javadoc formatting
authorYann Cébron <yann.cebron@jetbrains.com>
Wed, 12 Aug 2020 15:53:29 +0000 (17:53 +0200)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Wed, 12 Aug 2020 16:17:55 +0000 (16:17 +0000)
commit0982b6a873ff6579a6836f3ae7e1fd5f8efe8f19
tree897528f0e5744814cbd3728b4805ca0c095a494f
parent02bcb4d6c0a4fc5374db85a951961a38eaa39cdd
PluginReplacement: fix javadoc formatting

GitOrigin-RevId: c0e8af210f4c4d1608c8b1afc779eb9748e7bf14
platform/platform-api/src/com/intellij/ide/plugins/PluginReplacement.java