manual/html/weekstartsmonday.html in taskjuggler-3.7.1 vs manual/html/weekstartsmonday.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>weekstartsmonday</title> <meta content="text/html; charset=utf-8" http-equiv="Content-Type"/> <meta content="IE=9" http-equiv="X-UA-Compatible"/>