diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-09-15T18·41+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2022-09-15T18·44+0000 |
| commit | 04503cf063340464fb4e8a185fe3b550ed48fa34 (patch) | |
| tree | fda68abcd2e27e5a1f0007e96277b93827083d48 /tvix/eval/src/builtins/mod.rs | |
| parent | 85b3f17007825b023d549d8e926322797e08ce6d (diff) | |
chore(tvix): add grfn & sterni to OWNERS r/4863
Change-Id: Ieb7647a571332f49f896b5c4a86784d8ea31a5d8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6605 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/eval/src/builtins/mod.rs')
0 files changed, 0 insertions, 0 deletions