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 /users/Profpatsch/toINI.nix | |
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 'users/Profpatsch/toINI.nix')
0 files changed, 0 insertions, 0 deletions