diff configure @ 787:4faea021b5c1 tonioni

cleanup
author gyorgyf
date Sat, 13 Apr 2013 15:36:54 +0100
parents f5aeda36d5bd
children cefc9763dc0c fea591a66e5d
line wrap: on
line diff