diff clean @ 2051:926f2cf71b62

Small clean up.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Tue, 11 Jan 2011 16:21:22 +0100
parents 6223633ce7dd
children
line wrap: on
line diff