diff admin/nt/makedist.bat @ 72173:691a901b4418

(grep-default-command): Catch errors from wildcard-to-regexp.
author Richard M. Stallman <rms@gnu.org>
date Sat, 29 Jul 2006 02:03:21 +0000
parents 08f576638233
children 16e7738bd009 e1fbb019c538
line wrap: on
line diff