diff options
author | Dmitry Mikhirev <mikhirev@users.noreply.github.com> | 2021-05-19 22:01:17 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-19 15:01:17 -0400 |
commit | a9aec546c873fa5a2cb1d9a10878aca71818b609 (patch) | |
tree | 3b773e683b1ddaac7d43555ba269c0d261b45ed3 /docs/other_vscode.md | |
parent | 3023015c5b9417b18b59be41664e2af8e9f18a79 (diff) |
revert error introduced in PR #12871 (#12891)
Diffstat (limited to 'docs/other_vscode.md')
0 files changed, 0 insertions, 0 deletions