From 320f23ae72dbbcf5c6f9f9aac09d4596dd314806 Mon Sep 17 00:00:00 2001
From: Alexander Zolotov <zolotov@jetbrains.com>
Date: Tue, 16 Jun 2020 14:30:44 +0300
Subject: [PATCH] [tips] update pycharm tips

GitOrigin-RevId: 36f64b12634f14bb4bcbf52bda48bf051838c85c
---
 .idea/libraries/tips_pycharm_community.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.idea/libraries/tips_pycharm_community.xml b/.idea/libraries/tips_pycharm_community.xml
index 92a3df8ca95e..77f13d30a618 100644
--- a/.idea/libraries/tips_pycharm_community.xml
+++ b/.idea/libraries/tips_pycharm_community.xml
@@ -1,8 +1,8 @@
 <component name="libraryTable">
   <library name="tips-pycharm-community" type="repository">
-    <properties maven-id="com.jetbrains.intellij.documentation:tips-pycharm-community:202.5" />
+    <properties maven-id="com.jetbrains.intellij.documentation:tips-pycharm-community:202.7" />
     <CLASSES>
-      <root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-pycharm-community/202.5/tips-pycharm-community-202.5.jar!/" />
+      <root url="jar://$MAVEN_REPOSITORY$/com/jetbrains/intellij/documentation/tips-pycharm-community/202.7/tips-pycharm-community-202.7.jar!/" />
     </CLASSES>
     <JAVADOC />
     <SOURCES />