diff stream/tvi_def.h @ 31349:92d75e703bc0

Rename configure.log file to the more standard name config.log.
author diego
date Mon, 14 Jun 2010 15:17:48 +0000
parents 9fc9d1e788aa
children 535ebcd085e4
line wrap: on
line diff