diff options
author | DavHau <d.hauer.it@gmail.com> | 2023-06-09T09·08+0300 |
---|---|---|
committer | David Hauer <d.hauer.it@gmail.com> | 2023-07-07T09·48+0000 |
commit | e751372f2f2ffbb1d32e9729e3c83c2c12c29ea3 (patch) | |
tree | 710e38c14360c455edb9dc3704a1fb1e2c97a57f /users/zseri | |
parent | 33c1d0a7ef88bd8bc3967dad9113432cc1c00512 (diff) |
docs(tvix/store): various improvements r/6395
Improve change some little things I noticed while reading through it. Change-Id: I033209eece395e5aad4e10825e8dd6c0cfe68191 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8725 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'users/zseri')
0 files changed, 0 insertions, 0 deletions