diff etc/DISTRIB @ 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 6b5aacec5ace
children 1e525e729760
line wrap: on
line diff