tree efbfd1928bb2da532549f6f1f6ef41b8352ed8db
parent 8a75793814613034190408cbacf44e689d28f403
author peusterm <manuel.peuster@uni-paderborn.de> 1452524295 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1452524295 +0100

cleaner API