tree ae7df7eef8789816c01aabff7a670dbd111218a3
parent c6c25ea1cb42ec50cbcea8568a1a898c8bd99deb
author peusterm <manuel.peuster@uni-paderborn.de> 1504711606 +0200
committer peusterm <manuel.peuster@uni-paderborn.de> 1504711606 +0200

Removed GitHub page folder. We skip this.

Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>