diff options
| author | Florian Klink <flokli@flokli.de> | 2022-11-08T23·05+0000 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-11-11T19·55+0000 |
| commit | dde62055fe1755474b7e6b421145f2e7aa2f6690 (patch) | |
| tree | 99ad0885cb5059f12b4f90633c62ae9fbde94ee4 /tools | |
| parent | 7eb70148219f902fa1df6b361b87c37efa17a332 (diff) | |
feat(tvix/): .gitignore target folders r/5278
Change-Id: Ic52159141b2346dd580215566056aca7110f0a10 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7253 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions