diff admin/nt/makedist.bat @ 85183:d18b96e2d51f

(top level): Use mapc rather than mapcar.
author Glenn Morris <rgm@gnu.org>
date Fri, 12 Oct 2007 03:00:05 +0000
parents b8f20b1e3e48
children 2818a9b47852 424b655804ca
line wrap: on
line diff