comparison TOOLS/checktree.sh @ 22547:9193e4b4834f

cosmetics: Rename variables for consistency with other Makefiles.
author diego
date Wed, 14 Mar 2007 08:45:58 +0000
parents b65e001a3e68
children 1efd3700f2e3
comparison
equal deleted inserted replaced
22546:322fed4ddef2 22547:9193e4b4834f