diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-04-12 17:37:36 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2020-04-12 17:37:36 +0100 |
commit | c388130f5ffbcbe7d3131213a24d12d02f769b87 (patch) | |
tree | ec42f573d373ea04ce3a08ed7df96ee95f1061aa /editors/code/src/util.ts | |
parent | 268b7987290143550461090c2c0e23371813dbec (diff) | |
parent | e809328c122b20137a60f4533fada9cbe9d31e09 (diff) |
Merge #3957
3957: Remove more unnecessary braces r=kjeremy a=lnicola
See #3866.
Co-authored-by: Laurențiu Nicola <[email protected]>
Diffstat (limited to 'editors/code/src/util.ts')
0 files changed, 0 insertions, 0 deletions