diff options
| author | Florian Klink <flokli@flokli.de> | 2023-12-21T15·25+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-12-21T16·43+0000 |
| commit | 6838dc3fff218a6d7904bb4a5b3c62a2eb3e89fc (patch) | |
| tree | accf1d109e6df37dcf5ed444f4b62ccf9b9049f9 /users/sterni/dot-time-man-pages | |
| parent | ca0a8f560359708fe6a1772707c8dc238a27acd1 (diff) | |
docs(tvix/glue): fix docstring r/7244
This is not an unclosed <html> tag. Change-Id: I2bd2426fc600de2d96dbab47743f1c7bd5fed35e Reviewed-on: https://cl.tvl.fyi/c/depot/+/10398 Tested-by: BuildkiteCI Autosubmit: flokli <flokli@flokli.de> Reviewed-by: edef <edef@edef.eu>
Diffstat (limited to 'users/sterni/dot-time-man-pages')
0 files changed, 0 insertions, 0 deletions