diff gui/wm/ws.c @ 29188:15e8d8f0a1ea

Make reset_ptr() void.
author cehoyos
date Thu, 23 Apr 2009 22:19:53 +0000
parents d58d06eafe83
children 0f1b5b68af32
line wrap: on
line diff