diff options
author | Vincent Ambo <mail@tazj.in> | 2022-02-26T14·37+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-02-26T14·39+0000 |
commit | 2a7f73926a0afcbfd7c071c1613afdeb14b8dcb9 (patch) | |
tree | 820a655ef2dd4d16b7dd23f52e58826951aad832 /tvix/docs | |
parent | 5d6de14d78ee6c89f488abccf1c9c81091e2f4b7 (diff) |
chore(tools): Remove deprecated depot-build tool r/3869
This has been superseded by magrathea. Change-Id: Ief4a3d1b81e51e7a9c9a0112584fa7efc8aca63f Reviewed-on: https://cl.tvl.fyi/c/depot/+/5328 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/docs')
0 files changed, 0 insertions, 0 deletions