diff options
author | Vincent Ambo <mail@tazj.in> | 2022-12-12T18·40+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-12-21T21·48+0000 |
commit | 8b3d03db92c92fac09c92b55f946ae81299491ae (patch) | |
tree | ed23c0920631d4c8c659275a665e933bf115e141 /third_party/sources | |
parent | da7c331d2c9d923b9a79f21e55aa09c6c427645d (diff) |
chore(tvix/cli): rename binary to just 'tvix' r/5456
Change-Id: If735c81a04f60dcd77f1c40b595b52ed88bbbe95 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7580 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/sources')
0 files changed, 0 insertions, 0 deletions