about summary refs log tree commit diff
path: root/config
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2017-06-01T12·43+0200
committerEelco Dolstra <edolstra@gmail.com>2017-06-01T12·43+0200
commitb4b1f4525f8dc8f320d666c208bff5cb36777580 (patch)
tree0307b844524f8fde9e6da8cf918bd501658584ab /config
parentab5834f7a1c2cae9b7071d5a6944ff8b1eeb6e38 (diff)
Fix coverage job
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions