jshint/jshint — pull request #1228 by WolfgangKluge (2013-08-09 08:50:54+00:00)
Title: Option for switch case indentation

Fixes #935: Adds an option for indentation of case/default-keywords