diff options
| author | Florian Klink <flokli@flokli.de> | 2024-06-12T14·47+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-06-12T23·43+0000 |
| commit | 08f794e7e7c85057d196745ef2f474007af79413 (patch) | |
| tree | a2f7ff348d1ce845feb8df8879969deeb0fdb7fb /tools/nixery/server | |
| parent | 99df0e73f462d5a783edf8ae5184fc80b61b7b6b (diff) | |
fix(tvix-glue/fetchers): remove unused allow dead code r/8257
This isn't unused anymore, we can remove the `#![allow(dead_code)]`. Change-Id: Ia2048394a60161fbfd4ac2a2b64d03350526faa4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11795 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com> Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'tools/nixery/server')
0 files changed, 0 insertions, 0 deletions