diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-11T12·35+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-09-11T19·58+0000 |
commit | 6ab73c48f66a09c917ab1d3d1fb4634a224bc46f (patch) | |
tree | c6b5c7a3eeb364fe32e008380dc6da3b22621398 /fun/defer_rs/examples/undefer.rs | |
parent | 3f1df1916feb3d7afd411894b14731570847f74d (diff) |
docs(tvix/eval): remove the note on the private repo r/4819
... because we are basically caught up now! Change-Id: Icdc06ff7ca5729c21301f009e94acfcd0f80879a Reviewed-on: https://cl.tvl.fyi/c/depot/+/6503 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'fun/defer_rs/examples/undefer.rs')
0 files changed, 0 insertions, 0 deletions