about summary refs log tree commit diff
path: root/users
diff options
context:
space:
mode:
authorAdam Joseph <adam@westernsemico.com>2022-10-25T09·00-0700
committerclbot <clbot@tvl.fyi>2022-11-05T22·07+0000
commit89854e2331fde7caeecbb740c4165314d031932b (patch)
tree2aca641f872987379cf81f06290750055a5e077b /users
parent1cccf002bc7c86e97fa20031347485715d38c00d (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 'users')
0 files changed, 0 insertions, 0 deletions