diff make-dist @ 86847:0152955185ee

(url-type): Declare as a function.
author Glenn Morris <rgm@gnu.org>
date Fri, 30 Nov 2007 08:05:04 +0000
parents c9c2e3b42307
children 2c4cf44f634f
line wrap: on
line diff