diff options
author | Adam Joseph <adam@westernsemico.com> | 2022-10-25T09·00-0700 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2022-11-05T22·07+0000 |
commit | 89854e2331fde7caeecbb740c4165314d031932b (patch) | |
tree | 2aca641f872987379cf81f06290750055a5e077b /ops | |
parent | 1cccf002bc7c86e97fa20031347485715d38c00d (diff) |
fix(tvix/eval): change ordinary (//) to rustdoc-comments (///) r/5252
This fixes a mistake I made in d978b556e6. Change-Id: I88db697105a7149e9785f6aface03bff68566d2b Signed-off-by: Adam Joseph <adam@westernsemico.com> Reviewed-on: https://cl.tvl.fyi/c/depot/+/7085 Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'ops')
0 files changed, 0 insertions, 0 deletions