diff Gui/wm/wsmkeys.h @ 13602:14090f7300a8

The full name of the GPL is GNU General Public License.
author diego
date Sun, 10 Oct 2004 14:20:42 +0000
parents faa111ce1315
children
line wrap: on
line diff