src/Pure/Tools/build_log.scala
changeset 64092 95469c544b82
parent 64091 f8dfba90e73f
child 64094 629558a1ecf5
     1.1 --- a/src/Pure/Tools/build_log.scala	Fri Oct 07 21:09:43 2016 +0200
     1.2 +++ b/src/Pure/Tools/build_log.scala	Fri Oct 07 21:16:48 2016 +0200
     1.3 @@ -208,6 +208,7 @@
     1.4          s => Word.implode(Word.explode(s).map({
     1.5            case "CET" | "MET" => "GMT+1"
     1.6            case "CEST" | "MEST" => "GMT+2"
     1.7 +          case "EST" => "GMT+1"  // FIXME ??
     1.8            case a => a })))
     1.9  
    1.10      object Strict_Date