diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-02-17 08:45:39 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-17 08:45:39 +0000 |
commit | dd8fc5a61adf557afa2cd971039be10a83f6d503 (patch) | |
tree | c2461c8863e5005c45a997d627c34f76e3b36e5c /docs/dev/README.md | |
parent | daffdd86749bc2d62b50ff9e0c869032d7932373 (diff) | |
parent | 2d7fe230f57bdbd8e0bb7ac89632a43a65210c1f (diff) | |
parent | bd113623a02dc253549464667af8931e2ff378bc (diff) |
Merge #3177 #3178
3177: Update debug docs r=matklad a=Veetaha
Updated `debugging.md` file, added two useful demo videos.
3178: vscode: minor refactorings r=matklad a=Veetaha
Very minor
Co-authored-by: Veetaha <[email protected]>
Co-authored-by: Veetaha <[email protected]>