Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Added Lunr Search #1353

Merged
merged 3 commits into from
Nov 15, 2017
Merged

Added Lunr Search #1353

merged 3 commits into from
Nov 15, 2017

Conversation

nickgarlis
Copy link
Contributor

@nickgarlis nickgarlis commented Nov 15, 2017

@mmistakes mmistakes changed the title Added Lurn Search Added Lunr Search Nov 15, 2017
@mmistakes mmistakes merged commit cc3b21b into mmistakes:master Nov 15, 2017
kkunapuli pushed a commit to kkunapuli/kkunapuli.github.io that referenced this pull request May 30, 2019
* Add `search.html` layout and JavaScript
* Move `{{ content }}` before search input
* Add spaces for consistency

Close mmistakes#1011
sumeetmondal pushed a commit to sumeetmondal/sumeetmondal.github.io that referenced this pull request Sep 10, 2019
* Add `search.html` layout and JavaScript
* Move `{{ content }}` before search input
* Add spaces for consistency

Close mmistakes#1011
jchwenger pushed a commit to jchwenger/jchwenger.github.io that referenced this pull request May 5, 2023
* Add `search.html` layout and JavaScript
* Move `{{ content }}` before search input
* Add spaces for consistency

Close mmistakes#1011
# for free to join this conversation on GitHub. Already have an account? # to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants