diff configure @ 347:c9affb380e35

better? wording of new analysis menu entry
author matthiasm
date Mon, 16 Jun 2014 12:30:15 +0100
parents 7d0d0cd59adb
children 56109ef020b4 ffd1a89a68fa
line wrap: on
line diff