diff options
| author | Vincent Ambo <mail@tazj.in> | 2024-10-12T22·33+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-10-12T23·02+0000 |
| commit | 398a9b531758297417280ccf06b82c85f3d236dd (patch) | |
| tree | 1cc1461a07db173c2c2594f447d6d584976dcac1 /tvix/tools/crunch-v2/OWNERS | |
| parent | b21cb11b7f65d84baca62a0492d63d184e4f5095 (diff) | |
chore(tvix/tools): move crunch-v2 to //users/edef r/8798
This is not a core Tvix tool, it's some sort of one-off analysis thing. Change-Id: I05fcbed45abad27d6b5cfd49db1727249dad3971 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12603 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: edef <edef@edef.eu>
Diffstat (limited to 'tvix/tools/crunch-v2/OWNERS')
| -rw-r--r-- | tvix/tools/crunch-v2/OWNERS | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tvix/tools/crunch-v2/OWNERS b/tvix/tools/crunch-v2/OWNERS deleted file mode 100644 index b9bc074a8020..000000000000 --- a/tvix/tools/crunch-v2/OWNERS +++ /dev/null @@ -1 +0,0 @@ -edef |