diff lib-src/getopt_int.h @ 108807:2fde4b52f1ed

* etc/PROBLEMS: Remove some more obsolete information. Also some re-filling.
author Glenn Morris <rgm@gnu.org>
date Thu, 27 May 2010 20:23:08 -0700
parents 1f2482de3237
children ef719132ddfa
line wrap: on
line diff