aboutsummaryrefslogtreecommitdiff
path: root/check.log
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-06-04 16:53:41 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2019-06-04 16:53:41 +0200
commit7b5624ce352d4865026b5ccbf7b397f33fef58a3 (patch)
tree11f892f28bba0800d01b26c818a1630d979952f9 /check.log
parent1a9887c3278ac97feb5972c68d9756be430ea132 (diff)
Also wait for codecov...
Diffstat (limited to 'check.log')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint