aboutsummaryrefslogtreecommitdiff
path: root/docs/docsearch.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2022-11-11 10:52:07 +0100
committerJohannes Ranke <jranke@uni-bremen.de>2022-11-11 10:52:07 +0100
commite63dbdf1fdae0abc7246f721357504798309033d (patch)
treeac9e6d367f35a83fc36ce63399fc8f9429b41635 /docs/docsearch.js
parent60a217ecc9a035ab956bd4229da6ad4c654e7d6e (diff)
Don't force suggested packages
Diffstat (limited to 'docs/docsearch.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint