diff options
| author | Florian Klink <flokli@flokli.de> | 2022-12-22T14·48+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2022-12-22T15·26+0000 |
| commit | 4714f8b93998bee9c1b656f0b2358a26d3cf899d (patch) | |
| tree | f5e7e17f237db67793a761fc2543d6a13b0c6d0e /ops/secrets/gerrit-secrets.age | |
| parent | 40a17acdc11a7bbd45cde834e41c42ba04f4628d (diff) | |
feat(tools/depot-deps): drop crate2nix r/5473
The //tvix README already steers to `mg run //tvix:crate2nixGenerate --`, there's no point in /also/ having a non-formatting version of crate2nix in ``$PATH`. Change-Id: Idc6409799ae5f0629376eef6eeff6eb9eaa4fb99 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7613 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'ops/secrets/gerrit-secrets.age')
0 files changed, 0 insertions, 0 deletions