diff options
| author | sterni <sternenseemann@systemli.org> | 2023-04-26T10·30+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-05-11T10·10+0000 |
| commit | b22b685f0b2524c088deacbf4e80e7b7c73b5afc (patch) | |
| tree | ad5b549e6c0221c0ac313bacdb356a59268cfd04 /tvix/store/src/proto/mod.rs | |
| parent | a56b5131c82e8fec9d41412ac35b0400e4a34f3b (diff) | |
chore: address renames of boot & tmp related options r/6132
Change-Id: I78f2116a63675fff5a36826b3e5390798ab9db9f Reviewed-on: https://cl.tvl.fyi/c/depot/+/8526 Tested-by: BuildkiteCI Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: flokli
Diffstat (limited to 'tvix/store/src/proto/mod.rs')
0 files changed, 0 insertions, 0 deletions