aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-02-21 16:03:25 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-02-21 16:03:25 +0100
commitf55851e21d471a0ff1a4a72893374c30ca4cf819 (patch)
tree9e72a99c7985ff6ecba45e209351d6b43bfcf286 /.gitignore
parentf8307bd495a0c687e51f600f2bc22f49f9eaccd8 (diff)
Use codecov and update docs
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint