diff gui/wm/ws.c @ 28341:67410f3b67da

Do not duplicate VERSION string.
author diego
date Mon, 26 Jan 2009 11:29:28 +0000
parents d58d06eafe83
children 0f1b5b68af32
line wrap: on
line diff