# HG changeset patch
# User jodogne
# Date 1343119459 -7200
# Node ID a56b6a8b89ba5ed7ec76d961644a14fd40c634ab
# Parent  e85455ff60390acfb1f5be68fe0c443eeded19fc
fix for windows

diff -r e85455ff6039 -r a56b6a8b89ba Resources/EmbedResources.py
--- a/Resources/EmbedResources.py	Tue Jul 24 10:17:12 2012 +0200
+++ b/Resources/EmbedResources.py	Tue Jul 24 10:44:19 2012 +0200
@@ -46,7 +46,7 @@
                     else:
                         r = os.path.join(base, f).lower()
 
-                    r = '/' + r
+                    r = '/' + r.replace('\\', '/')
                     if r in content:
                         raise Exception("Twice the same filename (check case): " + r)