diff options
author | Florian Klink <flokli@flokli.de> | 2023-10-17T20·00+0100 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2023-10-17T20·25+0000 |
commit | 45d8a78a8b39561622fafdc495edf2dbac49465d (patch) | |
tree | c9bea8fdd02df4d7525cb91cb6853333769d5b7c /.gitignore | |
parent | c4ea2053877f3560b349b6f339f78baca4b06290 (diff) |
chore(tvix): move regenerate scripts to passthru r/6846
This keeps things isolated a bit more. Change-Id: I437f2f63ee1567c0cbc02298514ad4d89f1dce85 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9790 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: Connor Brewster <cbrewster@hey.com> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions