comparison TOOLS/README @ 35269:7b3252fa7761

Avoid code duplication and pointless casts.
author reimar
date Tue, 06 Nov 2012 21:37:49 +0000
parents 3c1f75f4affe
children
comparison
equal deleted inserted replaced
35268:f16646c59e33 35269:7b3252fa7761