# HG changeset patch # User Stephan Holl # Date 1311590228 -7200 # Node ID 316a2b3d4126f29fe5252ac93fd733286426336f # Parent a44d442577ca2e2d795d9d56c1d1c0edc485b2b9 added switch for replacing backslashes in win32 diff -r a44d442577ca -r 316a2b3d4126 contrib/python/generateHTML.py --- a/contrib/python/generateHTML.py Mon Jul 25 12:33:24 2011 +0200 +++ b/contrib/python/generateHTML.py Mon Jul 25 12:37:08 2011 +0200 @@ -84,6 +84,8 @@ i = 0 print "