diff options
author | Florian Klink <flokli@flokli.de> | 2023-10-21T17·48+0100 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2023-10-23T14·57+0000 |
commit | 2d99bfc7b791ede5e385896a684f6d28e035714c (patch) | |
tree | f965fc3c33adccd6ca3e3ad61643d2b35521b57c /.gitignore | |
parent | 6800f1cdb9b6fc3f81c40c6d869ba5c2fcfba817 (diff) |
refactor(tvix/cli): rename `a` to `algo_str` r/6875
Change-Id: I65d307126647841b50db008c21c155441a6b6cb5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9818 Reviewed-by: raitobezarius <tvl@lahfa.xyz> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions