diff configure.ac @ 80:ce44317dd055

merge
author matthiasm
date Fri, 29 Nov 2013 14:55:25 +0000
parents d8c17cd14689
children 7d0d0cd59adb
line wrap: on
line diff