diff TOOLS/checktree.sh @ 36062:d8c696db2948

Don't allow the message box to be user-resizable.
author ib
date Thu, 04 Apr 2013 18:27:52 +0000
parents 92d75e703bc0
children
line wrap: on
line diff