Skip to content
This repository has been archived by the owner on Aug 26, 2021. It is now read-only.

Change "Search this book" to "Search" #6

Open
MaxGhenis opened this issue Jul 8, 2020 · 1 comment
Open

Change "Search this book" to "Search" #6

MaxGhenis opened this issue Jul 8, 2020 · 1 comment
Labels
blocked Blocked by some other issue

Comments

@MaxGhenis
Copy link
Contributor

image
@MaxGhenis
Copy link
Contributor Author

Pending jupyter-book/jupyter-book#770

@MaxGhenis MaxGhenis added the blocked Blocked by some other issue label Jul 11, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
blocked Blocked by some other issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@MaxGhenis