diff options
| author | Florian Klink <flokli@flokli.de> | 2023-10-17T10·07+0100 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-10-17T21·12+0000 |
| commit | 1bb7e84241be81effd7ca57182b2d6edaddc1508 (patch) | |
| tree | bd0e16dbf43d2fc54bb01b0eb92e5e8517c48913 /.rgignore | |
| parent | 718af22dbba83ddebafdc849eb8645d646a0e163 (diff) | |
docs(tvix/castore/directorysvc): document drop without put and close r/6850
As seen in cl/9761, we only use put() and close() in some cases. Make sure this is documented, so we don't end up having implementations not able to deal with that. Change-Id: I406ad23f2f4c9604eca731d898ae41a4663fb846 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9786 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: Connor Brewster <cbrewster@hey.com> Tested-by: BuildkiteCI
Diffstat (limited to '.rgignore')
0 files changed, 0 insertions, 0 deletions