diff options
| author | Blaž Hrastnik | 2022-01-14 03:25:59 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2022-01-16 05:19:48 +0000 |
| commit | e7eab95b943ff15396c5d512a9c95650ab98a902 (patch) | |
| tree | 88a485634f4eb4a98c86fa5e3fc235a0363cf6bc /runtime/queries/lean | |
| parent | f5b0821860940782567a0baa17280aef04f845e3 (diff) | |
Update to rust 1.58, fix a bunch of optional lints
Diffstat (limited to 'runtime/queries/lean')
0 files changed, 0 insertions, 0 deletions