diff options
author | Vincent Ambo <mail@tazj.in> | 2023-01-31T16·43+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-02-01T10·01+0000 |
commit | 759f9dbf39635cd3ec630bfccdb88bb8af8b7805 (patch) | |
tree | 4a1fb0f676c43b5985a5f366d55d3b676d402ab2 /tvix/.gitignore | |
parent | 3caa4c4aa492dd1ee51a111836365790c63bdee1 (diff) |
feat(tvix/cli): implement builtins.placeholder r/5799
This doesn't require any other corresponding handling *yet*, as the actual replacements happen in the builder logic (which we delegate to cppnix at the moment). Change-Id: I034147c933f05ae427c7a8794647132d108d0ede Reviewed-on: https://cl.tvl.fyi/c/depot/+/7972 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions