diff options
| author | Florian Klink <flokli@flokli.de> | 2024-06-14T14·45+0300 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2024-06-15T03·56+0000 |
| commit | 6e321c615c74ed151124f677597e5e2d25e07431 (patch) | |
| tree | 7c7019683b6c32c4560668fd03eee866c26ac184 /fun | |
| parent | 46585bee1543123b2a64817eb7beace36af10436 (diff) | |
docs(tvix/*store): add some internal links r/8277
We can now cross-link between pages, and it actually works. Change-Id: Id8bd85111672c687118db9adae7f5066f22441f5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/11817 Reviewed-by: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de> Reviewed-by: Ilan Joselevich <personal@ilanjoselevich.com>
Diffstat (limited to 'fun')
0 files changed, 0 insertions, 0 deletions