diff TOOLS/checktree.sh @ 26670:e6774798e913

Use full path for #includes from another directory.
author diego
date Fri, 09 May 2008 12:00:25 +0000
parents e60a367eb80e
children abd0a4e9daa0
line wrap: on
line diff