diff TOOLS/checktree.sh @ 19036:414709f20b74

There is only one config.mak file left, don't ignore the others anymore.
author diego
date Wed, 12 Jul 2006 17:32:14 +0000
parents edffd6f8a022
children e3f7f221f75e
line wrap: on
line diff