diff TOOLS/checktree.sh @ 33588:c4d315b544a1

Remove GUI-specific code that is already handled by common code now.
author reimar
date Sun, 19 Jun 2011 18:55:30 +0000
parents 92d75e703bc0
children
line wrap: on
line diff