diff src/.gdbinit @ 28923:dcafe3c9cd6c

(sh-while-getopts) <sh>: Handle case that user-specified option string is empty.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 15 May 2000 20:14:39 +0000
parents c26a9f95a880
children 88e0ba67d3bc
line wrap: on
line diff