diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-26T15·38+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-03T00·49+0000 |
| commit | 903b57be042b9f3f0ad6f714d4dec0c1795f93c0 (patch) | |
| tree | 9acdf1e37149780686b0f098ab9f7ea06bcffa8c /.rgignore | |
| parent | bc9351f811a9394898d0c9ab4da193e320c27bdd (diff) | |
docs(tvix/eval): add doc comment on `compiler::patch_jump` r/4612
Change-Id: Ifdd7b99223d239d955ac7eeeae95db97eb742bf0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6276 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to '.rgignore')
0 files changed, 0 insertions, 0 deletions