diff options
author | Florian Klink <flokli@flokli.de> | 2023-11-03T12·08+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-11-04T15·18+0000 |
commit | 619f1fe88d009e228cfd348da12b98f6a4533052 (patch) | |
tree | 247be7cb9422198628b8434eb99f64a7aec15997 /third_party/gerrit_plugins | |
parent | 3196fe0143b6ff729c177fa5d17fa03c9e9627c9 (diff) |
refactor(tvix/glue): use add_derivation_builtins helper r/6937
Change-Id: I284c82612f1c8c81a8b7711fe63c19778ff2fdf0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9909 Reviewed-by: raitobezarius <tvl@lahfa.xyz> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/gerrit_plugins')
0 files changed, 0 insertions, 0 deletions