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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions