diff src/cmds.c @ 14886:96423e733197

(sh-shell-arg): Add no options for bash, ksh, or wksh.
author Richard M. Stallman <rms@gnu.org>
date Wed, 27 Mar 1996 00:09:54 +0000
parents b56083146a42
children b455f3f77823
line wrap: on
line diff