diff options
author | Vincent Ambo <mail@tazj.in> | 2023-01-21T11·10+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2023-01-22T19·39+0000 |
commit | 8513a58b37ffb032a621fb25d5952f6d4df27872 (patch) | |
tree | 92e719b0134c62066ee5e25e98a781990bbec2ec /tools | |
parent | 59c3383b10dc9fb356102164eddf40294c09dae6 (diff) |
docs(tvix/eval): update some outdated comments r/5734
These don't apply anymore since the "antidote-CL". Change-Id: I40ee73ef43d44bbfc650a8fe6c2b33263dd06959 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7890 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions