diff options
author | Vincent Ambo <mail@tazj.in> | 2023-03-17T07·48+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-03-17T11·01+0000 |
commit | b5f5a1595d1508cc2b74aed4428f5844e1e070eb (patch) | |
tree | a511aab7fd31a0555c898c87763fcfcf7b8a8280 /tvix/.gitignore | |
parent | b025ebb2a1ae989afc5ee3ae69cb920e97a4efdc (diff) |
chore(tvix/eval): remove some dead code r/6020
This was commented out and forgotten during the generator refactor, oh well. Change-Id: I474b685159a955a846db462da0dd0067af177b04 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8321 Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions