aboutsummaryrefslogtreecommitdiff
path: root/docs/dev/docsearch.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-04-20 20:21:35 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-04-20 20:21:35 +0200
commitd5d6560fe453f71e7ed9dde8d1eb087ffc305b5b (patch)
tree1f785c31da013a7c973e138d5e374ad165281f9b /docs/dev/docsearch.js
parent7b7c4bf493ba15824ea43bed764661678b4aca03 (diff)
Switch docs back to devel mode
Diffstat (limited to 'docs/dev/docsearch.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint