diff options
| author | Florian Klink <flokli@flokli.de> | 2024-06-14T15·30+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-06-15T04·02+0000 |
| commit | 86928b5e7f7a6e19035ffc55ca70f419ab470cfb (patch) | |
| tree | c82c000ee34ab54f4ed266e4746f118b925a0619 /.gcroots/.skip-subtree | |
| parent | 6e321c615c74ed151124f677597e5e2d25e07431 (diff) | |
docs(tvix/TODO): add builtins.path roundtrip for flat r/8278
Change-Id: I8291d2fdfa2ea31ec24c82dcfb447fa9eaa3a961 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11819 Reviewed-by: Connor Brewster <cbrewster@hey.com> Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to '.gcroots/.skip-subtree')
0 files changed, 0 insertions, 0 deletions