diff configure @ 367:3c8dccd0cafe

removed unhelpful help item from help menu
author matthiasm
date Tue, 15 Jul 2014 18:15:37 +0100
parents 56109ef020b4
children a0eedd10dee3
line wrap: on
line diff