tree 1e4052a6708757d09f70e111da991d6ba4699785
parent 7cf6222e246d11c09b14f127227460e3522240ec
author anyssen <alexander.nyssen@itemis.de> 1437818500 +0200
committer anyssen <alexander.nyssen@itemis.de> 1437818500 +0200

[NONE] Remove docs folder, which contains outdated material.