diff TOOLS/checktree.sh @ 23683:ce6ecb20fb44

Consistently use filenames as multiple inclusion guards.
author diego
date Mon, 02 Jul 2007 20:36:18 +0000
parents 0e8285c7b2fa
children 91ccac9cc015
line wrap: on
line diff