diff options
| author | Florian Klink <flokli@flokli.de> | 2023-03-03T14·17+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-03-03T14·56+0000 |
| commit | dfb8b7a2661d00a92e7732139560637e9a26867e (patch) | |
| tree | 41c42015cc9a8ac360452aa588e2fbc86c7d83ca /tvix/eval/proptest-regressions/value | |
| parent | 48a80dfea0466e75fed77e5b27e7f7668e371dd0 (diff) | |
docs(views): extend README for josh-filter usage r/5874
Also document how these can be cloned by referring to a custom Gerrit ref. Change-Id: I5495a1c29bdd6d78215af7307953437f9cbca5db Reviewed-on: https://cl.tvl.fyi/c/depot/+/8198 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/eval/proptest-regressions/value')
0 files changed, 0 insertions, 0 deletions