diff options
| author | Florian Klink <flokli@flokli.de> | 2023-03-14T20·45+0100 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-03-14T20·50+0000 |
| commit | 8cfd303203e9647ed7b1cec1cabd241834a81833 (patch) | |
| tree | b1c3e35967ecaa17f89ca595b97a2bcc4a254718 /tvix/.vscode | |
| parent | 5f260edf7fba9a6ad1e0ee16779df11d92686828 (diff) | |
chore(tvix/cli): don't set COREPKGS anymore r/5996
Since cl/8213, tvix bundles corepkgs. Change-Id: I17fa4452a6a1d554ae67b4aed9d9b1e77cb495f5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8305 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/.vscode')
0 files changed, 0 insertions, 0 deletions