diff lib-src/getopt1.c @ 101771:60634423f085

Tweak previous change.
author Glenn Morris <rgm@gnu.org>
date Tue, 03 Feb 2009 08:20:33 +0000
parents 1f2482de3237
children f55f9811f5d7 ef719132ddfa
line wrap: on
line diff