diff TOOLS/compare.c @ 29188:15e8d8f0a1ea

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