aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2016-09-27 17:46:59 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2016-09-27 17:46:59 +0200
commit2985771a8fad29e2ebeef533adcf81d621fb5a35 (patch)
treea2706135f71da276cecc649049c58cba70538bf0 /docs
parent5b3334f37a31aa98f6aed866c8c407fb7cc256dd (diff)
Remove header with metadata, misrendered on github
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint