timezone.export.html in taskjuggler-3.7.2

- old
+ new

@@ -1,6 +1,6 @@
 <!DOCTYPE html>
-<!-- This file has been generated by tj3man v3.7.1 -->
+<!-- This file has been generated by tj3man v3.7.2 -->
 <html lang="en" xml:lang="en">
  <head>
   <title>timezone.export</title>
   <meta content="text/html; charset=utf-8" http-equiv="Content-Type"/>
   <meta content="IE=9" http-equiv="X-UA-Compatible"/>