tree 65fa31785506f044c4d7a5507d51b30cd62b2080
parent a664eb611376fd77083f101c849b1dde7fc8bea8
author peusterm <manuel.peuster@uni-paderborn.de> 1468825564 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1468825564 +0200

cleaned up logging