diff options
author | Florian Diebold <[email protected]> | 2019-05-20 17:31:12 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2019-05-21 19:40:29 +0100 |
commit | f613c48d2e2afa1761623d186d11c1719f9ef3f7 (patch) | |
tree | 1ff623537505695163ea329d9eae35325eb2ef21 /crates/tools | |
parent | ed943adb29e6eddb482377a21908a8ed66c6cc21 (diff) |
Use fuel branch for Chalk
This makes sure we don't take too long in trait solving.
Diffstat (limited to 'crates/tools')
0 files changed, 0 insertions, 0 deletions