diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-26T15·47+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-03T00·49+0000 |
commit | 48b0fac76bd1444eac7dd082b699e0ec41fbfdd3 (patch) | |
tree | deda025f685c9cc0bc50c2591dae43d4dc280f6c /third_party/sources/sources.json | |
parent | 7da5076191d4037b9a0cfb5c818d64eb2822d9d0 (diff) |
refactor(tvix/eval): slightly more readable AttrsRep::select r/4614
Suggestion from grfn in cl/6158. Change-Id: I16dcf2296a5ec5d299d5a080ca099b8eda6c254e Reviewed-on: https://cl.tvl.fyi/c/depot/+/6278 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'third_party/sources/sources.json')
0 files changed, 0 insertions, 0 deletions