diff src/sink11mask.h @ 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 3165b2697c78
children
line wrap: on
line diff