Minor changes.

This commit is contained in:
Lars Jung 2012-07-01 14:05:09 +02:00
parent 6c3f271a3e
commit bd76573401
5 changed files with 7 additions and 16 deletions

File diff suppressed because one or more lines are too long