diff --git a/resources-en/src/tips/DirDiff.html b/platform/platform-resources-en/src/tips/DirDiff.html
similarity index 100%
rename from resources-en/src/tips/DirDiff.html
rename to platform/platform-resources-en/src/tips/DirDiff.html