MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

icons sync: skipping tips fixup for community

Browse Source
This commit is contained in:
Dmitriy.Panov
2019-03-14 15:20:56 +03:00
parent 04cb94838f
commit 386156d004
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-resources-en/icon-robots.txt
+1 -1
View File
@@ -1,2 +1,2 @@
skip: *
skipSync: tips
skipSync: src/tips
resources-en/icon-robots.txt
+1 -1
View File
@@ -1,2 +1,2 @@
skip: *
skipSync: tips
skipSync: src/tips