diff configure @ 33428:043d9e61e043

Ensure 0-termination even if line does not start with FILE " Part of patch by Ivan Kalvachev [ikalvachev gmail com].
author reimar
date Sun, 29 May 2011 11:47:18 +0000
parents 08da81bcc970
children 8610374fd76c
line wrap: on
line diff