comparison make/hotspot_distro @ 7847:06a7cd6aaf00

Casting is now done on demand using local variables for explicit guards.
author Christian Humer <christian.humer@gmail.com>
date Tue, 19 Feb 2013 17:20:45 +0100
parents 0a8e0d4345b3
children
comparison
equal deleted inserted replaced
7846:91cc98eae8ee 7847:06a7cd6aaf00