From f58a7e43b680e2f078af7d7376aeb726f62ed0e6 Mon Sep 17 00:00:00 2001
From: Alexander Zolotov <zolotov@jetbrains.com>
Date: Mon, 27 Jan 2020 17:14:37 +0300
Subject: [PATCH] Update IDEA Community tips (IDEA-230798)

GitOrigin-RevId: 4d70c0ea757ea9cc49d73cdb8bb9e297adb78499
---
 community-resources/intellij.idea.community.resources.iml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/community-resources/intellij.idea.community.resources.iml b/community-resources/intellij.idea.community.resources.iml
index f7d6b614db5f..b7972e2b2cf0 100644
--- a/community-resources/intellij.idea.community.resources.iml
+++ b/community-resources/intellij.idea.community.resources.iml
@@ -11,9 +11,9 @@
     <orderEntry type="module" module-name="intellij.java.ide.customization" scope="TEST" />
     <orderEntry type="module-library" exported="" scope="RUNTIME">
       <library name="tips-idea-ce" type="repository">
-        <properties maven-id="com.jetbrains.intellij.documentation:tips-intellij-idea-community:193.5" />
+        <properties maven-id="com.jetbrains.intellij.documentation:tips-intellij-idea-community:201.8" />
         <CLASSES>
-          <root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-intellij-idea-community/193.5/tips-intellij-idea-community-193.5.jar!/" />
+          <root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-intellij-idea-community/201.8/tips-intellij-idea-community-201.8.jar!/" />
         </CLASSES>
         <JAVADOC />
         <SOURCES />