prefer explicit timezone offset for printing;
authorwenzelm
Sat Oct 08 22:08:31 2016 +0200 (2016-10-08)
changeset 641166cfd429a4296
parent 64115 68619fa37ca7
child 64117 c2b41b073d8a
prefer explicit timezone offset for printing;
src/Pure/Tools/build_log.scala
     1.1 --- a/src/Pure/Tools/build_log.scala	Sat Oct 08 21:31:56 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_log.scala	Sat Oct 08 22:08:31 2016 +0200
     1.3 @@ -97,7 +97,7 @@
     1.4      {
     1.5        val fmts =
     1.6          Date.Formatter.variants(
     1.7 -          List("EEE MMM d HH:mm:ss VV yyyy", "EEE MMM d HH:mm:ss O yyyy"),
     1.8 +          List("EEE MMM d HH:mm:ss O yyyy", "EEE MMM d HH:mm:ss VV yyyy"),
     1.9            List(Locale.ENGLISH, Locale.GERMAN)) :::
    1.10          List(
    1.11            DateTimeFormatter.RFC_1123_DATE_TIME,