diff configure @ 339:05449a49cbb4

oops and another selection fix
author matthiasm
date Fri, 13 Jun 2014 16:58:17 +0100
parents 7d0d0cd59adb
children 56109ef020b4 ffd1a89a68fa
line wrap: on
line diff