aboutsummaryrefslogtreecommitdiff
path: root/docs/docsearch.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-08-10 07:33:11 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-08-10 07:33:11 +0200
commit263613da9ac7f169dbaea875c897ff698aa10720 (patch)
treec563a6c0bf51f2f17fab4048f91ce0bd5775cec8 /docs/docsearch.js
parent9abab1e2d4385039b01ad3dc0d9c5966bbe94fee (diff)
Add a link to the new vignette in online docs
Diffstat (limited to 'docs/docsearch.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint