diff gui/wm/wsmkeys.h @ 23699:2c8bfc750aa5

Also remove generated tools on distclean.
author diego
date Wed, 04 Jul 2007 18:53:39 +0000
parents 39da13b211b6
children 0798448dcbea
line wrap: on
line diff