diff TOOLS/README @ 21261:a2e02e6b6379

Rename config.h --> debug.h and include config.h explicitly.
author diego
date Sun, 26 Nov 2006 18:33:41 +0000 (2006-11-26)
parents d0d1482f2e65
children d3df5a5f0c8f
line wrap: on
line diff