scripts/last-dotplot
changeset 957 c54672c8892e
parent 942 82b69208c878
child 961 ed0fb9b1eb40
     1.1 --- a/scripts/last-dotplot	Mon Jun 25 15:50:54 2018 +0900
     1.2 +++ b/scripts/last-dotplot	Mon Oct 29 08:23:59 2018 +0900
     1.3 @@ -34,7 +34,7 @@
     1.4      if fileName == "-":
     1.5          return sys.stdin
     1.6      if fileName.endswith(".gz"):
     1.7 -        return gzip.open(fileName)
     1.8 +        return gzip.open(fileName, "rt")  # xxx dubious for Python2
     1.9      return open(fileName)
    1.10  
    1.11  def warn(message):