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 /corp/rih/.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 'corp/rih/.gitignore')
0 files changed, 0 insertions, 0 deletions