diff Gui/wm/wskeys.h @ 12914:590ce5bbf2ef

Obsolete now that the docs are XML.
author diego
date Thu, 29 Jul 2004 22:20:16 +0000
parents 4e70e9ea29c4
children 08888397444e
line wrap: on
line diff