diff options
| author | Patrick Griffis <tingping@tingping.se> | 2021-11-12 12:44:09 -0600 |
|---|---|---|
| committer | Patrick Griffis <tingping@tingping.se> | 2021-11-12 12:44:09 -0600 |
| commit | 8443755772160e61679e3122190da18ba10d8878 (patch) | |
| tree | 8a4d8cedb7d6f1ad2977d700f8503b4a4ee91219 /plugins/<style>pre { line-height: 125%; }td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }td.linenos .special { color: | |
| parent | f93b13a6a3ae0adf01257b265d2b7caa1d98c5a1 (diff) | |
Fix timer being locale dependent for decimals
`/timer .1 echo hi` now works in all locales.
Diffstat (limited to 'plugins/<style>pre { line-height: 125%; }td.linenos .normal { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }span.linenos { color: inherit; background-color: transparent; padding-left: 5px; padding-right: 5px; }td.linenos .special { color:')
0 files changed, 0 insertions, 0 deletions