diff Gui/wm/wsxdnd.c @ 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 df423e2d71dc
children c30e193ac112
line wrap: on
line diff