diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-17 13:28:37 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2019-12-17 13:28:37 +0000 |
| commit | a26840d603e672bace319f45b28dd615de1b0c2d (patch) | |
| tree | ca3b28e41aa2c335d34ee995aee92406294a1085 /.gitignore | |
| parent | ba6312a2df31235f3d4dce6acd479b8046c1087c (diff) | |
| parent | 22ae4cb90699d64b8bb455635bad7abb406bb39e (diff) | |
Merge #2568
2568: Add option to disable all-targets. r=matklad a=pftbest
Can be useful in embedded.
Co-authored-by: Vadzim Dambrouski <[email protected]>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions