diff options
| author | C. McEnroe | 2020-08-18 21:26:17 -0400 |
|---|---|---|
| committer | C. McEnroe | 2020-08-18 21:26:17 -0400 |
| commit | b06470294d58e6f469d245a0757b94dbca2dd52c (patch) | |
| tree | a0eb3c431bd47729e142a5dd8a57453d14c5a3f9 /scripts/sandman.1 | |
| parent | 1891c775353907ae3ceb4d8e42243b508b450dab (diff) | |
Match mentions case-sensitively
The mention coloring code already matches case-sensitively, and any proper ping should be using tab-complete anyway so there's no reason for differing case. And the month of June should not ping me.
Diffstat (limited to 'scripts/sandman.1')
0 files changed, 0 insertions, 0 deletions