comparison make-dist @ 14876:b39dde411ac8

(sh-shell-arg): Don't add any options for bash, ksh.
author Richard M. Stallman <rms@gnu.org>
date Mon, 25 Mar 1996 01:42:05 +0000
parents f41775f4f5c6
children da70e30f73b9
comparison
equal deleted inserted replaced
14875:27f8bccdb985 14876:b39dde411ac8