diff TOOLS/checktree.sh @ 18821:ac61a42feb47

Avoid crash in uninit-without-config case
author reimar
date Mon, 26 Jun 2006 17:01:07 +0000
parents edffd6f8a022
children e3f7f221f75e
line wrap: on
line diff