Revision b2f05cc1da456dbbd533fbfc242ea8f4d9b3462b

Committed on 21/02/2012 8:29 am by Florian Peter <florian.peter@gmx.at> [GitHub Diff]

Kick out unused ini settings.