diff options
| author | Florian Klink <flokli@flokli.de> | 2024-08-18T20·18+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-08-18T20·44+0000 |
| commit | 98863e731221e3cd70f88b0f1e6646d958676e6c (patch) | |
| tree | 7a59dfb9fb968fb2eac3b4494cb2806b769c6d40 /.gitignore | |
| parent | 5382cbb93a94a8e68ddd2567f382661fd0f166b3 (diff) | |
docs(views): update where `josh-filter` is coming from r/8516
We started using josh from nixpkgs since cl/11457, but forgot to update this documentation. Change-Id: I6e07227bcd3e955076d46146024edd89b69f08f7 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12244 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions