diff configure @ 36152:c3b4a1b48c7d

Make 0 termination code more robust against future changes.
author reimar
date Tue, 07 May 2013 20:39:17 +0000
parents 5f730ed5b3d2
children df9dead0e2ad
line wrap: on
line diff