aboutsummaryrefslogtreecommitdiff
path: root/docs/docsearch.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2020-12-15 14:10:20 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2020-12-15 14:10:20 +0100
commit1a14621ec15a1d0142b55511a05919add3d28ceb (patch)
tree67e8bf5e4480f3b3782a1156892e8062748393bf /docs/docsearch.js
parent70e66bc2abfb582ef8e4372a6c7f23f732cb6ed0 (diff)
Remove leftovers
Diffstat (limited to 'docs/docsearch.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint