diff TOOLS/Makefile @ 22106:6b72edbe78c1

Get rid of useless last_ptr assignment
author reimar
date Sun, 04 Feb 2007 11:58:29 +0000
parents 9725193f1530
children 0334e714d3fa
line wrap: on
line diff