diff lib-src/makefile.w32-in @ 73555:3f351640d09f

(add-to-list): Don't continue checking if a match has been found.
author David Kastrup <dak@gnu.org>
date Mon, 30 Oct 2006 22:49:04 +0000
parents 5e2029cd6a15
children cdd279778a20 8dd8c8286063
line wrap: on
line diff