diff TOOLS/checktree.sh @ 18553:f85b5c5d5d18

Remove dead code, and do close smem file descriptor during un-init
author poirierg
date Tue, 30 May 2006 23:18:05 +0000
parents edffd6f8a022
children e3f7f221f75e
line wrap: on
line diff