diff debian/menu @ 29188:15e8d8f0a1ea

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