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/src/lib.rs | |
| 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/src/lib.rs')
| -rw-r--r-- | tvix/tools/crunch-v2/src/lib.rs | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tvix/tools/crunch-v2/src/lib.rs b/tvix/tools/crunch-v2/src/lib.rs deleted file mode 100644 index 09ea2e75d5a3..000000000000 --- a/tvix/tools/crunch-v2/src/lib.rs +++ /dev/null @@ -1,3 +0,0 @@ -pub mod proto { - include!(concat!(env!("OUT_DIR"), "/tvix.flatstore.v1.rs")); -} |