Revision 1ea392d7df1c842b6bbfe08d35637557b463b9a7

Committed on 21/12/2013 3:01 am by Kore Nordmann <mail@kore-nordmann.de> [GitHub Diff]

Do not run linting and archiving