diff etc/orgcard.tex @ 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 8d7e9371e242
children 9cad9282afd8
line wrap: on
line diff