aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/docsearch.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-02-28 16:05:33 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2022-02-28 16:05:33 +0100
commit7171798e8026238791f2065f167e3c9af50231d9 (patch)
tree57b004d1c031762f635511b434b096b328d1a2a7 /docs/dev/docsearch.js
parentb3ca0aa552916b10a7d6d642138aecf744aed3de (diff)
Update travis config and _pkgdown.yml
Diffstat (limited to 'docs/dev/docsearch.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint