tree f2b7f9b0d39b8f1645dad3e283197d808aa8f0a9
parent bb4a0ee01599471d0974f2b83a2dc9f9fe9045e2
author peusterm <manuel.peuster@uni-paderborn.de> 1455896411 +0100
committer peusterm <manuel.peuster@uni-paderborn.de> 1455896411 +0100

README: removed outdated todos. We moved them to GitHub issues.