diff make-dist @ 87019:e460f7bcfb6d

(top-level): Move provide to end.
author Glenn Morris <rgm@gnu.org>
date Tue, 04 Dec 2007 03:47:26 +0000
parents 2c4cf44f634f
children 4424409d4223 53108e6cea98
line wrap: on
line diff