diff lib-src/getopt_int.h @ 109341:6b1ebe1e590d

* window.c (Fwindow_height): Doc fix (bug#6518).
author Juanma Barranquero <lekktu@gmail.com>
date Fri, 23 Jul 2010 01:57:23 +0200
parents 1f2482de3237
children ef719132ddfa
line wrap: on
line diff