comparison TOOLS/Makefile @ 14789:099ed4814603

quick solution for making an option less braindead
author alex
date Thu, 24 Feb 2005 15:00:47 +0000
parents 03188593a9fe
children 7bae32bc0ed7
comparison
equal deleted inserted replaced
14788:f125873f1409 14789:099ed4814603