| commit | 0ceaa30ce84e5a7ac7b1740c5752cc30b441ec65 | [log] [tgz] |
|---|---|---|
| author | peusterm <manuel.peuster@uni-paderborn.de> | Wed Sep 06 17:26:46 2017 +0200 |
| committer | peusterm <manuel.peuster@uni-paderborn.de> | Wed Sep 06 17:26:46 2017 +0200 |
| tree | ae7df7eef8789816c01aabff7a670dbd111218a3 | |
| parent | c6c25ea1cb42ec50cbcea8568a1a898c8bd99deb [diff] |
Removed GitHub page folder. We skip this. Signed-off-by: peusterm <manuel.peuster@uni-paderborn.de>
