diff core/markup.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 ff645a692791
children 98d2388b6bb2
line wrap: on
line diff