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 /third_party/lisp/puri.nix | |
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 'third_party/lisp/puri.nix')
0 files changed, 0 insertions, 0 deletions