diff etc/TUTORIAL @ 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 873ae07c54d4
children a2bfb826940c 6823a91487f2
line wrap: on
line diff