diff configure @ 173:2067bce063a9

slightly improved abstract
author matthiasm
date Tue, 04 Feb 2014 17:47:01 +0000
parents 7d0d0cd59adb
children 56109ef020b4 ffd1a89a68fa
line wrap: on
line diff