diff options
| author | defanor <defanor@uberspace.net> | 2019-06-21 17:37:35 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2019-06-21 17:37:35 +0300 |
| commit | cd3af799d770b752ea9f168d2b5266c85dafb6ec (patch) | |
| tree | 7960b1c24290a91ea99e5cb2b99ad2009971d775 /tools/publish.sh | |
| parent | 5bd02d6b80fe7825f7ece3f5a80dbfec62b2de87 (diff) | |
Avoid non-ASCII characters in date ranges
Plain ASCII is better supported still, and "to" is more readable as a
separator for dates than an en dash.
Diffstat (limited to 'tools/publish.sh')
0 files changed, 0 insertions, 0 deletions