diff options
author | Vincent Ambo <mail@tazj.in> | 2023-05-17T15·41+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2023-05-18T19·12+0000 |
commit | 64ee21ec86b3b8b0d35256b823f0e6c9670a9acc (patch) | |
tree | f3906038cd6acefaf080e37ecec071d2eb6cdb8b /ops/glesys | |
parent | ba4807e1de44a234fc9499dad0011440cde113fb (diff) |
chore(tvix/cli): remove unnecessary RefCell r/6160
This remained around from some previous time where this type was being cloned around directly, but it's not anymore. Change-Id: I2c61cf9cecb8e5d7d08644ed20642ee61357bc21 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8580 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'ops/glesys')
0 files changed, 0 insertions, 0 deletions