diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-11-28T09·23-0800 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-12-01T10·30+0000 |
commit | a87abd5eedf76669163760e03ed2ce69d7b12721 (patch) | |
tree | 8cb15027bf52f0b4cae67914513b36c255e0c2e5 /.gitignore | |
parent | f32abc57cf32fa2400f94a087462abe55e6c790a (diff) |
feat(tvix/eval): placeholder for builtins.placeholder r/5356
Change-Id: I8d11f2db4489a7d82910256069d10f8bed3bdf9a Reviewed-on: https://cl.tvl.fyi/c/depot/+/7451 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: Adam Joseph <adam@westernsemico.com> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions