diff lispref/makefile.w32-in @ 72785:a384943e84d7

(pushnew): Use add-to-list when convenient.
author Richard M. Stallman <rms@gnu.org>
date Sun, 10 Sep 2006 17:47:39 +0000
parents 408b3e9508a1
children baed64986af0
line wrap: on
line diff