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 /.gitattributes | |
| parent | ed943adb29e6eddb482377a21908a8ed66c6cc21 (diff) | |
Use fuel branch for Chalk
This makes sure we don't take too long in trait solving.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions