diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-01 18:45:56 +0100 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-05-01 18:45:56 +0100 |
| commit | 12629d5e4f2d949eedb707dedad4d75eff09e683 (patch) | |
| tree | bbd0e531ac05cac0a511acbfa6ad24a977b63124 /editors/code/src/utils/terminateProcess.sh | |
| parent | 817a38538f69d5383942476a6066ca98d6f7d1cb (diff) | |
| parent | a42f26502d22e270285e10af463996b22eec98ce (diff) | |
Merge #1222
1222: Skip Dollars when bump raw token r=matklad a=edwin0cheng
This PR fixed a bug while parsing token_tree, it should skip all L_DOLLAR AND R_DOLLAR.
Co-authored-by: Edwin Cheng <[email protected]>
Diffstat (limited to 'editors/code/src/utils/terminateProcess.sh')
0 files changed, 0 insertions, 0 deletions