diff Copyright @ 35269:7b3252fa7761

Avoid code duplication and pointless casts.
author reimar
date Tue, 06 Nov 2012 21:37:49 +0000
parents f2b81cd25817
children 2bc3693278cb
line wrap: on
line diff