diff clean @ 1463:7bc14f75a077

Another handle bug.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Mon, 15 Nov 2010 11:06:38 +0100
parents 6223633ce7dd
children
line wrap: on
line diff