diff options
| author | bors-servo <lbergstrom+bors@mozilla.com> | 2018-09-13 12:56:14 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-13 12:56:14 -0400 |
| commit | d00b54c5d6df35b5ed21f89c72a9dd1a1b90f7c8 (patch) | |
| tree | 746cf1f6240195e490e7faa8d438e695352e3411 /src/codegen | |
| parent | 83751c8789b027c7b643e2d01768930c35241712 (diff) | |
| parent | 7ad57a4c76043ac1ca720de727ea340f2dd5103b (diff) | |
Auto merge of #1384 - emilio:whitespace-comment, r=fitzgen
ir: Preserve better whitespace in comments.
Fixes #1341.
Diffstat (limited to 'src/codegen')
0 files changed, 0 insertions, 0 deletions