diff configure @ 72760:06f1e0aa1de0

(normal-splash-screen): Don't display the buffer if we'll kill it right away anyway.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Sat, 09 Sep 2006 19:21:31 +0000
parents 4cf82eeaf30f
children 85a9d581baa6 02e39decdc84 8a8e69664178
line wrap: on
line diff