Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Note that case insensitivity is the default
Saying "code search is case-insensitive" then saying "you can do case-sensitive searches" can seem confusing. Make it less confusing by noting that case insensitivity is only the default behavior.
- Loading branch information