aboutsummaryrefslogtreecommitdiff
path: root/docs/docsearch.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2019-02-21 16:16:21 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2019-02-21 16:16:21 +0100
commit5181a55b1619c153b690db97ee82698bf76525ff (patch)
tree205137000fd034ced0d55de2830e6fb5a45c4535 /docs/docsearch.js
parent6695a307c4be2b8eee1bacd75b25fc10c3dd02b1 (diff)
Static documentation rebuilt by pkgdown
to get the codecov badge into the docs
Diffstat (limited to 'docs/docsearch.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint