diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-13T13·00+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-13T14·41+0000 |
commit | 268605140eae3cbfae5ddd18bd83b877e5da5748 (patch) | |
tree | cf82bbf9f57162efcb4d70b7fd825afbd0aca40e /.gitignore | |
parent | d5ee893fb15f9d2aae676763f12b507ad33243b0 (diff) |
fix(tvix/eval): address current clippy lints r/4839
Change-Id: I5288849d0e93511b0b5664fa92f1c6882e4a1356 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6563 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions