diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-18 17:18:12 +0100 |
---|---|---|
committer | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-07-18 17:18:12 +0100 |
commit | 7b2ab597bd2d500a68e08d0546d8f72f6a013248 (patch) | |
tree | 33266be000ef9aabe1049916d9772af70a4249b5 /docs/dev/debugging.md | |
parent | a15a278308047b160e5805dbb554a1949fcb0228 (diff) | |
parent | 4abe03879bbd11536fbb51b30342cdad74317025 (diff) |
Merge #1544
1544: Highlight mutable variables differently r=matklad a=viorina
![Screenshot from 2019-07-18 19-04-57](https://user-images.githubusercontent.com/6714973/61473539-3f5d3000-a98f-11e9-99ec-a4115b2ba66b.png)
Co-authored-by: Ekaterina Babshukova <[email protected]>
Diffstat (limited to 'docs/dev/debugging.md')
0 files changed, 0 insertions, 0 deletions