about summary refs log tree commit diff
path: root/.git-blame-ignore-revs
diff options
context:
space:
mode:
authorsterni <sternenseemann@systemli.org>2022-09-06T19·39+0200
committerclbot <clbot@tvl.fyi>2022-09-11T20·02+0000
commitb6ab02e48bf9e852f495a01d79fc97a1409e0a8b (patch)
tree3b7fef87addc9483da71def94dbb81f5d0e7e5ad /.git-blame-ignore-revs
parentcbde0292b6d029b54cf4d8ef413a6f68adbb9acf (diff)
docs(tvix/eval): propose builtin "inlining" optimisation r/4821
Change-Id: I96a187792a1fd48cffd6b56ec22347aee8cae3af
Reviewed-on: https://cl.tvl.fyi/c/depot/+/6526
Autosubmit: sterni <sternenseemann@systemli.org>
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions