diff options
| author | Florian Klink <flokli@flokli.de> | 2023-11-15T22·24+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-11-16T21·26+0000 |
| commit | d4d1387409fa4f138c447d41c22eb258022ea2cd (patch) | |
| tree | 67dd8fcbe24e1f88e0c14163c38d1dac5c2a3df7 /.gitignore | |
| parent | 4e5165d0a14c769914710a77bf8bf9c669ca0c34 (diff) | |
docs(tvix/glue): fix doc-comment reference r/7024
This has been renamed to descend_to in cl/9373. Change-Id: Ia6201fb81c7d4fa953d311451cfff95373549a50 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10045 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: edef <edef@edef.eu> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions