diff make-dist @ 87973:b3422590d572

(file-provides, file-requires): Push the filename right.
author Richard M. Stallman <rms@gnu.org>
date Fri, 25 Jan 2008 22:50:33 +0000
parents 01f002639254
children fa454b3c5b7b c70e45a7acfd
line wrap: on
line diff