aboutsummaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2018-11-23 20:44:34 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2018-11-23 20:44:34 +0100
commit72088cc350626ac6c78d3a3cd323b6c1f6a99bf5 (patch)
tree67528ce2d5adbb1811955665a712cb41edb37f1a /man
parent5f9645570d8308f48a492d48f38acd0d08f7d636 (diff)
More tolerance for a test
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint