diff make-dist @ 80775:681a8553e832

(url-https-expand-file-name): Resolve directly to url-default-expander rather than via another alias. (url-default-expander): Autoload an autoload. (Bug#825).
author Glenn Morris <rgm@gnu.org>
date Sat, 30 Aug 2008 02:23:33 +0000
parents 5e73f3fa746f
children f13d2ef47961
line wrap: on
line diff