diff TOOLS/checktree.sh @ 31342:996166ae509d

Remove unnecessary get_path() declaration.
author diego
date Mon, 14 Jun 2010 11:39:22 +0000
parents abd0a4e9daa0
children 92d75e703bc0
line wrap: on
line diff