tree ed00302814f83c1f5b17f722561ab57f027426fb
parent b668d69e8e81bf4e6378daa6fb87e1e9f493aaf7
author peusterm <manuel.peuster@uni-paderborn.de> 1504077757 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1504077757 +0200

added helper lib