diff lib-src/makefile.w32-in @ 104728:f0b66ed6123b

(checkdoc-force-history-flag): Change default, since most of our files don't have a history. (checkdoc-display-status-buffer): Don't use hidden buffers to show to the user.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sun, 30 Aug 2009 13:59:48 +0000
parents 15ae1942e576
children cef4ad90e33f
line wrap: on
line diff