diff etc/orgcard.ps @ 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 325cc3e47519
children 07774e5c3ff5
line wrap: on
line diff