diff options
author | Vincent Ambo <tazjin@tvl.su> | 2024-02-18T07·54+0700 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2024-02-20T04·58+0000 |
commit | 98a17dbdf9f6756b5162d34eda17098918e991cf (patch) | |
tree | b5602f8fa138486eb38bdcef9d7395f9cc55da95 /src/libmain/common-args.hh | |
parent | 0631b870b0a573bf603b0049c90366ccddb6e728 (diff) |
chore(tvix/glue): remove unnecessary assignment r/7565
Change-Id: I747307317c45085f9f7762d659870c5bd75b908b Reviewed-on: https://cl.tvl.fyi/c/depot/+/10958 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'src/libmain/common-args.hh')
0 files changed, 0 insertions, 0 deletions