diff options
| author | Vo Minh Thu <noteed@gmail.com> | 2022-11-21T11·42+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2022-11-21T13·40+0000 |
| commit | 888b7faa18ce0836bbe2938003543543c4a1fb64 (patch) | |
| tree | c41d132e84b825d9770adddd7e57eb10bdee0f01 /tvix/eval/src/builtins/mod.rs | |
| parent | d36aaeb9679a2bc6dfadc53928fe08f081203c0f (diff) | |
feat(ops/users): Add noteed to users r/5294
Change-Id: I40b99a46b76d0df40b811350f3560c629babdbc4 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7319 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/builtins/mod.rs')
0 files changed, 0 insertions, 0 deletions