diff man/killing.texi @ 29844:093c79809c9e

(sh-while-getopts): Fix handling of empty option string.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 21 Jun 2000 19:52:43 +0000
parents 986871288b53
children e9948dd313fa
line wrap: on
line diff