diff lib-src/getopt_int.h @ 100715:b31133dbfd6d

(Top): Add @detailmenu item for "Terminal Type".
author Eli Zaretskii <eliz@gnu.org>
date Sat, 27 Dec 2008 15:45:03 +0000
parents 1f2482de3237
children ef719132ddfa
line wrap: on
line diff