diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-20T21·18+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-20T23·18+0000 |
commit | 82079776486870e6c8e6e6e6c9b56b9e91e0a181 (patch) | |
tree | 78541b62cd9be9085b8f896002b3c1e18aeacb68 /users/grfn | |
parent | ce9dfad6cb4822089574284e0264aeb509852dd3 (diff) |
chore(tvix/eval): clean up this one weird trick ... r/4940
... Rust developers don't want you to know about! Change-Id: Ic43b670ac0982c726bfb8cd27cb57b17934e4b70 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6715 Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users/grfn')
0 files changed, 0 insertions, 0 deletions