diff options
| author | Steve Klabnik <steve@steveklabnik.com> | 2015-04-27 10:26:18 -0400 |
|---|---|---|
| committer | Steve Klabnik <steve@steveklabnik.com> | 2015-04-27 10:26:18 -0400 |
| commit | 08c0299a82b6fc9e8f1d8ea4f49d1dce94d59e08 (patch) | |
| tree | 222138cd8b84203031dfa1e0280b150991bc4034 /src/rustllvm/RustWrapper.cpp | |
| parent | 5c60145323d6e42cee5ad11efdabbd753b667d63 (diff) | |
| parent | 72e8f7b1ab344546e7b073317d4f696acab1a5f8 (diff) | |
| download | rust-08c0299a82b6fc9e8f1d8ea4f49d1dce94d59e08.tar.gz rust-08c0299a82b6fc9e8f1d8ea4f49d1dce94d59e08.zip | |
Rollup merge of #24797 - roryokane:patch-1, r=nikomatsakis
The minus sign ‘−’ is the same width as the plus sign ‘+’, so the button’s transition between the two symbols will look slightly smoother. If you don’t want to use literal Unicode characters, I can change ‘−’ to `\u2212`. I’m not starting with that suggestion because ‘−’ is easier to read and understand, and if I used `\u2212`, it would probably be necessary to also comment the usage on each line to explain what character is being used.
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions