icons sync: skipping tips

2025-12-15 02:59:33 +07:00 · 2019-03-13 18:24:30 +03:00
parent 36e56b7b8c
commit ee9952e978
3 changed files with 5 additions and 2 deletions
--- a/platform/platform-resources-en/icon-robots.txt
+++ b/platform/platform-resources-en/icon-robots.txt
@@ -1 +1,2 @@
-skip: *
+skip: *
+skipSync: tips
--- a/python/python-community-ide-resources/resources/icon-robots.txt
+++ b/python/python-community-ide-resources/resources/icon-robots.txt
@@ -1 +1,2 @@
 skip: tips
+skipSync: tips
--- a/resources-en/icon-robots.txt
+++ b/resources-en/icon-robots.txt
@@ -1 +1,2 @@
-skip: *
+skip: *
+skipSync: tips