diff msdos/sed1.inp @ 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 067115a6e738
children 4ad431d8e164 c5406394f567
line wrap: on
line diff