aboutsummaryrefslogtreecommitdiff
path: root/editors/code
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2020-09-18 17:28:03 +0100
committerGitHub <[email protected]>2020-09-18 17:28:03 +0100
commitbd8ba80b1bc7a251510ae8f7a25c9c9d78d3ef69 (patch)
tree659d62457386aba3d856e79035153a9428a77fb4 /editors/code
parent82dc4af5dec0d8b4418ee5fda637fa0576884b84 (diff)
parent888cb378b92a8b97bebb127f824045e21bf41812 (diff)
Merge #6034
6034: docs: suggest disabling the official extension r=jonas-schievink a=jonas-schievink Co-authored-by: Jonas Schievink <[email protected]>
Diffstat (limited to 'editors/code')
0 files changed, 0 insertions, 0 deletions