diff TOOLS/Makefile @ 19162:77662cf942bf

removed now unnecessary variable
author ben
date Sun, 23 Jul 2006 09:55:28 +0000
parents 06e4c7737aa7
children 64d82a45a05d
line wrap: on
line diff