diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-21 15:31:48 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-02-21 15:31:48 +0100 |
| commit | 6695a307c4be2b8eee1bacd75b25fc10c3dd02b1 (patch) | |
| tree | 73474b0d7bebe829d7c9eb7a8f259ff5a93d9cbb /docs/docsearch.js | |
| parent | ad42e8870803335a549784888ddda80e4662f441 (diff) | |
Use codecov
Diffstat (limited to 'docs/docsearch.js')
0 files changed, 0 insertions, 0 deletions