diff etc/TUTORIAL.th @ 72310:e45c648eb3ad

(PC-do-completion): Strip out completion-ignored-extensions before checking whether there are multiple completions. Don't use `list' unnecessarily when building completion tables.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 07 Aug 2006 18:06:28 +0000
parents e8a3fb527b77
children 0259a1711394 c5406394f567
line wrap: on
line diff