diff make-dist @ 44234:acb1f97fda8f

(dired-get-marked-files): New arg FILTER allows selection of some files.
author Richard M. Stallman <rms@gnu.org>
date Fri, 29 Mar 2002 14:43:14 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff