Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Minor fixes in search and lint #66
Minor fixes in search and lint #66
Changes from all commits
4b899ad
a36164a
6f4c2e0
bb0ddca
9058f88
d27d438
86f7031
fcd940d
6717840
9ba0c39
4b45cec
9631176
654c320
e0f2b37
a9d5df1
c8ae11b
f7dfedd
3203602
2989cf6
87a1ec5
cf612e5
661d0cf
935f3e8
39f4d04
6a1e039
643ec14
0273309
31b9c69
39dd7be
bdaf301
2d86301
e0a8f1e
6783331
41523c4
fcd5742
1232298
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
Large diffs are not rendered by default.
Large diffs are not rendered by default.
This file was deleted.