diff COPYING @ 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 d92149473c34
children 6aa0743375c1
line wrap: on
line diff