Idea Community 2020.1.4 idea/201.8743.1
authorDmitriy Panov <dmitriy.panov@jetbrains.com>
Tue, 14 Jul 2020 05:48:15 +0000 (05:48 +0000)
committerintellij-monorepo-bot <intellij-monorepo-bot-no-reply@jetbrains.com>
Tue, 14 Jul 2020 05:48:15 +0000 (05:48 +0000)
commit68e38b1188b637d4e7df452b72f23d36075c7fcf
treedc3cedf69b1daf24c24de7c9372be97d09e4837c
parent5fd71f5e3d4f9f5463c1901e587c1e448e418bb8
Idea Community 2020.1.4

GitOrigin-RevId: 9b9aca08cd3015455fc4d1a7a87adab50221a099
community-resources/src/idea/IdeaApplicationInfo.xml