diff options
| author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-31 07:00:11 +0000 |
|---|---|---|
| committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-31 07:00:11 +0000 |
| commit | 777c79ce6bff0e70c8367f429f058f6d87ff3864 (patch) | |
| tree | b1daaac6e059a679da654dbc2f7672ea605aedf0 /editors/code/.vscode/tasks.json | |
| parent | 28fdb8d03caf1ab8b40ed0fcbe8e47451fe030d9 (diff) | |
| parent | a5fe4a08fb9b6e5df4f9aa1481fb62f6938897af (diff) | |
Merge #712
712: Fix #667 and improvements to introduce_variable r=matklad a=eulerdisk
Fix #667 (but not re-indenting currently), plus many other improvements.
@matklad I'm not sure how to handle re-indenting here.
Co-authored-by: Andrea Pretto <[email protected]>
Diffstat (limited to 'editors/code/.vscode/tasks.json')
0 files changed, 0 insertions, 0 deletions