diff options
| author | Florian Klink <flokli@flokli.de> | 2023-09-17T12·32+0300 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-09-18T10·33+0000 |
| commit | ca25acf11bae5cd66ed050f354879593ce6bf86a (patch) | |
| tree | 54bab17442b38dbf35c040042274a3a236ae90b9 /fun/gemma | |
| parent | bf2fe88a5c0c7f778502f87ddacb5072919d455e (diff) | |
chore(tvix/store/protos): drop unused fields for now r/6608
This wasn't removed yet, and no code is using/populating it so far. It's confusing, let's update it to the state of things now, and re- introduce it once we get there. Change-Id: I68f5ba17a8eee604d8ccd82749da7c8be094cb99 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9351 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'fun/gemma')
0 files changed, 0 insertions, 0 deletions