diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-05-05 21:49:55 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2020-05-05 21:49:55 +0100 |
| commit | 7e941fe8ec7b196314aa05bf9411cdce978ffa24 (patch) | |
| tree | 00cbf8593507a297aca9338233f55e42d3f4bf92 /.vscode/launch.json | |
| parent | d38741f681c173a96e991dc3c213d4c85dc5a8af (diff) | |
| parent | c22660179c3f892a56ad5bacfddd4c2ec563d35e (diff) | |
Merge #4328
4328: add the allFeatures flag (true by default) r=matklad a=guigui64
As discussed on zulip.
Co-authored-by: guigui64 <[email protected]>
Diffstat (limited to '.vscode/launch.json')
0 files changed, 0 insertions, 0 deletions