Skip to content

scripts.html: don't load docsearch when it's not needed#30205

Merged
XhmikosR merged 3 commits intomasterfrom
master-xmr-docs-search
Feb 17, 2020
Merged

scripts.html: don't load docsearch when it's not needed#30205
XhmikosR merged 3 commits intomasterfrom
master-xmr-docs-search

Conversation

@XhmikosR
Copy link
Member

No description provided.

@XhmikosR XhmikosR merged commit f1e47e2 into master Feb 17, 2020
@XhmikosR XhmikosR deleted the master-xmr-docs-search branch February 17, 2020 18:52
olsza pushed a commit to olsza/bootstrap that referenced this pull request Oct 3, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants