diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-26T15·40+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-03T00·49+0000 |
commit | 7da5076191d4037b9a0cfb5c818d64eb2822d9d0 (patch) | |
tree | 9408f16eb15e4e03f66099a0f35c5e149630e4b8 /third_party/git | |
parent | 903b57be042b9f3f0ad6f714d4dec0c1795f93c0 (diff) |
refactor(tvix/eval): rename Value::NotFound & OpAttrOrNotFound r/4613
grfn suggested clearer naming for these in cl/6166. Change-Id: I83164bf1d1902ebd42272e9d5d63819a0f6a72c5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6277 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/git')
0 files changed, 0 insertions, 0 deletions