diff lispintro/makefile.w32-in @ 61638:ef63bf685348

Make "--no-desktop" turn off `desktop-save-mode'.
author Lars Hansen <larsh@soem.dk>
date Mon, 18 Apr 2005 18:27:39 +0000
parents bb6720f21c54
children 23a17af379b1 4c90ffeb71c5
line wrap: on
line diff