diff options
| author | Florian Klink <flokli@flokli.de> | 2023-08-19T14·57+0200 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-08-19T20·12+0000 |
| commit | 6abf20f56bf137a0caa989941943a271b06f6376 (patch) | |
| tree | 737f5b2795a92b9570b0033175f61d565270363c /.git-blame-ignore-revs | |
| parent | 946270142e6b82412558b51fe1c31301e7a439ce (diff) | |
docs(tvix): update comment r/6492
cl/8306 fixed building all docs, but we forgot to update the comment. Change-Id: I17829612f13e7357bd0efe8223cc28ed0f6cdea2 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9091 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: raitobezarius <tvl@lahfa.xyz>
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions