812ee9b11c
- Change default settings to case-insensitive search
5 lines
79 B
Plaintext
5 lines
79 B
Plaintext
{
|
|
// searches are case sensitive by default
|
|
"case_sensitive" : false
|
|
}
|