Closed tgharib closed 2 years ago
The title is pretty self-explanatory.
Of course, changing the default to be case-insensitive is a personal preference but I imagine most people prefer it like this.
big agree, merge'd.
The title is pretty self-explanatory.
Of course, changing the default to be case-insensitive is a personal preference but I imagine most people prefer it like this.