diff options
| author | Florian Klink <flokli@flokli.de> | 2024-03-19T14·51+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-03-19T14·55+0000 |
| commit | bbb3d4cc40013833d76ee9d99255385b6deceba2 (patch) | |
| tree | dcae87c7967a3f44ea7d6118b838af1b66925afc /tvix/nix-compat/src | |
| parent | c641fce62a57a720987a56fe1d503fc9b63b5727 (diff) | |
chore(3p/sources): remove gerrit-queue r/7740
We switched away from this a long time ago, no need to keep it in the overlay. Change-Id: I56ac5e95ef16763ca2160230c85fa778361198de Reviewed-on: https://cl.tvl.fyi/c/depot/+/11207 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/nix-compat/src')
0 files changed, 0 insertions, 0 deletions