diff man/reftex.texi @ 50377:174f757a8504

(x_set_scroll_bar_default_width): Define return value as void.
author Juanma Barranquero <lekktu@gmail.com>
date Mon, 31 Mar 2003 21:16:55 +0000
parents 23a1cea22d13
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff