diff options
| author | Florian Klink <flokli@flokli.de> | 2024-01-20T20·02+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-01-20T20·09+0000 |
| commit | 56ba7a72d80bc050ef6a7d9031306ee0ccbf8e0a (patch) | |
| tree | 016e7698d6684288fdb7c46c07e99727d35c1634 /tvix/store/src/pathinfoservice/grpc.rs | |
| parent | 3d8aafb1c73048bfa6b6dee6cc52b81c5d23e4ca (diff) | |
docs(tvix/eval): builtins.toXML is done r/7434
Our docs say it's still todo, but that's wrong, it landed in cl/7835 and cl/7962. Change-Id: Ice374ae47ab653146be18c02dce27145e7488397 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10674 Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de> Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/store/src/pathinfoservice/grpc.rs')
0 files changed, 0 insertions, 0 deletions