diff tools/tz.py @ 888:deef1536a54a

See if file available at https: by doing HEAD request.
author Brian Neal <bgneal@gmail.com>
date Mon, 09 Feb 2015 20:25:13 -0600
parents ed6202fb08b6
children
line wrap: on
line diff