diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-29T17·38+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-30T12·31+0000 |
commit | 6c5e83f8bca990235193a3ef3406a33d6fdf581d (patch) | |
tree | c39035b6f5b62f780272602e290f8bd88d63d20b /third_party | |
parent | f0f5435e25541c6f1ae17e77d44c54df881320cc (diff) |
chore(tvix/eval): remove unused field in TrackedBindings r/5004
Change-Id: I65e31e9173e4f5bba19cc4e3d45eb4f8bf91b424 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6808 Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions