aboutsummaryrefslogtreecommitdiff
path: root/docs/docsearch.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2021-11-18 11:22:44 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2021-11-18 11:22:44 +0100
commit6e3917d814500d5af43702b4d4be1e44cefc00d4 (patch)
tree15726b251cf3bc43e0b36e6b64b83e89dafeb657 /docs/docsearch.js
parente0029129aec8b92d58aea8552006002c5fe409f5 (diff)
Update README after changing default branch to main
Diffstat (limited to 'docs/docsearch.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint