diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-10 14:16:42 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-10 14:16:42 +0000 |
commit | 46a474866e603eb11f3b601be3fb843c9fcc5b4d (patch) | |
tree | 5f914421855013fd092ff855cf076f3585b4e1b8 /editors/code/.gitignore | |
parent | 33df947d62f176d4a1512e14e2cbf25490c3eb77 (diff) | |
parent | 1b6acc391aee6a2c2868f537786f1dfa4ff774a2 (diff) |
Merge #3080
3080: More convenient run_with_output r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions