diff configure @ 653:f073611b31d1 tonioni

bugfixes to compile on Linux again
author gyorgyf
date Tue, 18 Jun 2013 22:14:28 +0100
parents 7ac63919fd52
children 2146130d1236
line wrap: on
line diff