diff options
author | Vincent Ambo <mail@tazj.in> | 2022-09-05T02·12+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-10T21·57+0000 |
commit | 8643620eb189ee45fe00b1d0fdca516cdea43d51 (patch) | |
tree | e45bb942e80b7584112b4520a37707a9edb9adc1 /tools/nsfv-setup | |
parent | 4e06e5d2baf99de503decfb3cc92240baf455ee4 (diff) |
fix(tvix/eval): always add history entries in REPL r/4788
... even if the code is broken. Change-Id: I5898bceaebf201b97e8988c94c90e7fafff82529 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6462 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tools/nsfv-setup')
0 files changed, 0 insertions, 0 deletions