diff TOOLS/checktree.sh @ 25992:a9e86b2def64

Merge the two conditional definitions of get_current_dir_name.
author diego
date Mon, 18 Feb 2008 19:37:59 +0000
parents e60a367eb80e
children abd0a4e9daa0
line wrap: on
line diff