diff man/cmdargs.texi @ 74754:3db81fa14de8

(syms_of_keyboard) <double-click-time>: Doc fix.
author Juanma Barranquero <lekktu@gmail.com>
date Tue, 19 Dec 2006 16:09:02 +0000
parents 695e5e6b71c1
children 3d45362f1d38 6588c6259dfb
line wrap: on
line diff