diff options
author | sterni <sternenseemann@systemli.org> | 2022-02-03T13·44+0100 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-02-04T11·20+0000 |
commit | 5d064256556a6af2e90a7c902c166ab67c65ea3a (patch) | |
tree | ea620f9f8e3329bdd997da20e044cad12b7727ee /tools/eprintf.nix | |
parent | c3684740ad6852f15de46577974f44dc98ca9703 (diff) |
chore: move format-audit-result.jq out of //users/sterni r/3762
In the spirit of the readTree filter we should also not include files in user directories from the outside. Change-Id: I1abe36a721048900d2758b5986063b68b8d1af93 Reviewed-on: https://cl.tvl.fyi/c/depot/+/5200 Reviewed-by: sterni <sternenseemann@systemli.org> Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to 'tools/eprintf.nix')
0 files changed, 0 insertions, 0 deletions