diff options
author | Vincent Ambo <mail@tazj.in> | 2022-05-18T15·42+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-05-19T14·08+0000 |
commit | 7c777e45a2c4476884b69f9cdf3cbb028c74612b (patch) | |
tree | 78d07c900b55117ba3d77c3af53ba85ca4c75a6a /third_party/gerrit_plugins/default.nix | |
parent | d127f9bd0e7b9b2e0df2de8a2227f77c0907468d (diff) |
chore(3p/rapidcheck): Remove package r/4099
No longer used without //3p/nix Change-Id: Iab5fc92f501151c2196c7ce082ea004857b0b0b0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5633 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'third_party/gerrit_plugins/default.nix')
0 files changed, 0 insertions, 0 deletions