diff options
| author | Vadzim Dambrouski <[email protected]> | 2019-12-15 17:32:13 +0000 |
|---|---|---|
| committer | Vadzim Dambrouski <[email protected]> | 2019-12-15 18:02:13 +0000 |
| commit | a85cd6455a66ca75ba9991d91acf36f55cb74e8c (patch) | |
| tree | 356d7b61e93d1aad261dba959afafc231d163441 /crates/ra_hir_ty/src/traits/chalk.rs | |
| parent | 4e24b25c669965cf6a68c4b8e775cc83615d978a (diff) | |
Add option to disable all-targets.
Can be useful in embedded.
Diffstat (limited to 'crates/ra_hir_ty/src/traits/chalk.rs')
0 files changed, 0 insertions, 0 deletions