diff options
| author | Vincent Ambo <mail@tazj.in> | 2023-05-12T08·16+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-05-12T12·50+0000 |
| commit | 969fbcd6d491d072b95d97bab6ef12efffd5f2bd (patch) | |
| tree | 48e7175fa25cc28b5f5f1e5fd2aeecfa447acbfe /third_party/git/git-gui/lib/choose_rev.tcl | |
| parent | 6a30eb69e067afd541312b3eb4d68416c6734e2d (diff) | |
fix(tvix/eval): builtins.trace prints to stderr r/6135
Change-Id: Icf577396035474d6977e627058aba5805c61985e Reviewed-on: https://cl.tvl.fyi/c/depot/+/8563 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/git/git-gui/lib/choose_rev.tcl')
0 files changed, 0 insertions, 0 deletions