tree 5e3d1bce01452af46ca3af7f2af6985d483468c0
parent 44eac7b564873b00dd078b9b39700650fd036420
author Philipp Jahoda <phil.jahoda@gmail.com> 1427306617 +0100
committer Philipp Jahoda <phil.jahoda@gmail.com> 1427306617 +0100

Code cleanup and minor fixes.