diff options
| author | Florian Klink <flokli@flokli.de> | 2023-12-21T15·38+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-12-21T16·44+0000 |
| commit | 9627ef15de4a5fae705b6d59a0d3bf59d7ef9296 (patch) | |
| tree | c3585a9c6e9867983d76015164a1be8a9dea0356 /fun/quinistry/.gitignore | |
| parent | 3b274f47af7e34e64fd428ab6f187e3d8d215046 (diff) | |
docs(tvix/castore/protos): remove reference r/7252
This is not gonna end up as a interlinked docstring. Change-Id: I2b0ca106aa75bae0156c0b411da5931da60c725d Reviewed-on: https://cl.tvl.fyi/c/depot/+/10406 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: edef <edef@edef.eu> Tested-by: BuildkiteCI
Diffstat (limited to 'fun/quinistry/.gitignore')
0 files changed, 0 insertions, 0 deletions