diff etc/HELLO @ 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 ddab013149af
children 9da8bac6f2bd
line wrap: on
line diff