Merge pull request #2133 from def-/cleanup

Cleanup
This commit is contained in:
Andreas Rumpf 2015-02-15 15:12:39 +01:00
commit d8c4c57637
23 changed files with 36 additions and 171 deletions