diff options
| author | sterni <sternenseemann@systemli.org> | 2024-11-18T11·34+0100 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-11-18T12·44+0000 |
| commit | a6f777206acac0e537aa8892da419879e0972315 (patch) | |
| tree | 01ca891fcc8a8b4ea1f1f16579256027dfdb84cd /tvix/eval/src/systems.rs | |
| parent | 0d4bcc38d81af1ee0eb7476a827c502d27fd3ce1 (diff) | |
chore(sterni/machines/edwin): remove r/8939
This machine hasn't existed for a while. Seems like I forgot to remove the expression after its final month ran out. Change-Id: I0e4abbd9af75eabfab0db106f851a1e43aa8c90f Reviewed-on: https://cl.tvl.fyi/c/depot/+/12807 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org> Autosubmit: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/systems.rs')
0 files changed, 0 insertions, 0 deletions